Directory listing for idris-1.0.1 candidate source tarball
idris-1.0.1/docs/reference/
- codegen.rst
- compilation.rst
- documenting.rst
- elaborator-reflection.rst
- erasure.rst
- ffi.rst
- ide-protocol.rst
- index.rst
- internals.rst
- language-extensions.rst
- language-features.rst
- misc.rst
- packages.rst
- partial-evaluation.rst
- repl.rst
- semantic-highlighting.rst
- syntax-guide.rst
- tactics.rst
- type-directed-search.rst
- uniqueness-types.rst