| .. |
| conclusions.rst | 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 |
| interactive.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| interfaces.rst | Idiom brackets syntax was fixed in the docs | 6 years ago |
| interp.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| introduction.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| miscellany.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| modules.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| multiplicities.rst | Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-master | 6 years ago |
| packages.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| starting.rst | Update docs; options now in config.mk | 6 years ago |
| theorems.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| typesfuns.rst | Wording. | 6 years ago |
| views.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |