mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-11 08:55:23 +03:00
.. | ||
conclusions.rst | ||
index.rst | ||
interactive.rst | ||
interfaces.rst | ||
interp.rst | ||
introduction.rst | ||
miscellany.rst | ||
modules.rst | ||
packages.rst | ||
provisional.rst | ||
starting.rst | ||
syntax.rst | ||
theorems.rst | ||
typesfuns.rst | ||
views.rst |