Contents filter
| File | Package | Branch | Repository | Architecture |
|---|---|---|---|---|
| /usr/share/doc/idris2/CHANGELOG.md | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/CONTRIBUTING.md | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/CONTRIBUTORS | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/README.md | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/.buildinfo | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_images/login.png | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/app/exceptionsstate.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/app/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/app/interfaces.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/app/introapp.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/app/linear.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/backend-cookbook.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/chez.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/custom.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/gambit.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/incremental.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/javascript.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/libraries.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/racket.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/backends/refc.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/cookbook/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/cookbook/parsing.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/faq/faq.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/ffi/ffi.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/ffi/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/ffi/readline.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/implementation/ide-protocol.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/implementation/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/implementation/overview.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/libraries/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/proofs/definitional.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/proofs/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/proofs/inductive.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/proofs/patterns.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/proofs/pluscomm.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/proofs/propositional.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/builtins.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/debugging.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/documenting.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/envvars.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/failing.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/index.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/literate.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/overloadedlit.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/packages.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/pragmas.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/records.rst.txt | idris2-doc | edge | community | x86_64 |
| /usr/share/doc/idris2/html/_sources/reference/strings.rst.txt | idris2-doc | edge | community | x86_64 |