| .. |
| 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 | Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-master | 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 | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| theorems.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |
| typesfuns.rst | Merge branch 'master' of https://github.com/jeetu7/Idris2 into jeetu7-master | 6 years ago |
| views.rst | Refactored the docs directory for latest sphinx_rtd_theme. | 6 years ago |