mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 09:54:23 +03:00
.. | ||
elaborator-reflection.rst | ||
elabReflection.rst | ||
example1.rst | ||
generatingData.rst | ||
holes.rst | ||
index.rst | ||
primitive.rst | ||
tactics.rst |
.. | ||
elaborator-reflection.rst | ||
elabReflection.rst | ||
example1.rst | ||
generatingData.rst | ||
holes.rst | ||
index.rst | ||
primitive.rst | ||
tactics.rst |