Directory listing for idris-0.12.3 candidate source tarball
idris-0.12.3/docs/
- .gitignore
- LICENSE
- Makefile
- README.md
- conf.py
- index.rst
- make.bat
- effects/
- faq/
- guides/
- image/
- listing/
- proofs/
- 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
- tutorial/
