| .. |
| app | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| backends | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| faq | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| ffi | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| listing | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| proofs | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| reference | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| tutorial | Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-master | 6 years ago |
| typedd | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| updates | Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-master | 6 years ago |
| conf.py | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| index.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |