INFO
Name: idris2-doc
Version: 0.8.0-1.el10_2
Arch: noarch
Summary: Idris2 documentation
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildhw-x86-09.rdu3.fedoraproject.org
Build Date: Fri Nov 7 15:33:18 2025
Size: 3048486
URL: https://www.idris-lang.org
Description: The package contains the idris2 manual
FILES
/usr/share/doc/idris2-doc
/usr/share/doc/idris2-doc/html
/usr/share/doc/idris2-doc/html/.buildinfo
/usr/share/doc/idris2-doc/html/_images
/usr/share/doc/idris2-doc/html/_images/login.png
/usr/share/doc/idris2-doc/html/_sources
/usr/share/doc/idris2-doc/html/_sources/app
/usr/share/doc/idris2-doc/html/_sources/app/exceptionsstate.rst.txt
/usr/share/doc/idris2-doc/html/_sources/app/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/app/interfaces.rst.txt
/usr/share/doc/idris2-doc/html/_sources/app/introapp.rst.txt
/usr/share/doc/idris2-doc/html/_sources/app/linear.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends
/usr/share/doc/idris2-doc/html/_sources/backends/backend-cookbook.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/chez.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/custom.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/gambit.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/incremental.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/javascript.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/libraries.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/racket.rst.txt
/usr/share/doc/idris2-doc/html/_sources/backends/refc.rst.txt
/usr/share/doc/idris2-doc/html/_sources/cookbook
/usr/share/doc/idris2-doc/html/_sources/cookbook/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/cookbook/parsing.rst.txt
/usr/share/doc/idris2-doc/html/_sources/faq
/usr/share/doc/idris2-doc/html/_sources/faq/faq.rst.txt
/usr/share/doc/idris2-doc/html/_sources/ffi
/usr/share/doc/idris2-doc/html/_sources/ffi/ffi.rst.txt
/usr/share/doc/idris2-doc/html/_sources/ffi/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/ffi/readline.rst.txt
/usr/share/doc/idris2-doc/html/_sources/implementation
/usr/share/doc/idris2-doc/html/_sources/implementation/ide-protocol.rst.txt
/usr/share/doc/idris2-doc/html/_sources/implementation/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/implementation/overview.rst.txt
/usr/share/doc/idris2-doc/html/_sources/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/libraries
/usr/share/doc/idris2-doc/html/_sources/libraries/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/proofs
/usr/share/doc/idris2-doc/html/_sources/proofs/definitional.rst.txt
/usr/share/doc/idris2-doc/html/_sources/proofs/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/proofs/inductive.rst.txt
/usr/share/doc/idris2-doc/html/_sources/proofs/patterns.rst.txt
/usr/share/doc/idris2-doc/html/_sources/proofs/pluscomm.rst.txt
/usr/share/doc/idris2-doc/html/_sources/proofs/propositional.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference
/usr/share/doc/idris2-doc/html/_sources/reference/builtins.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/debugging.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/documenting.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/envvars.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/failing.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/literate.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/operators.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/overloadedlit.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/packages.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/pragmas.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/records.rst.txt
/usr/share/doc/idris2-doc/html/_sources/reference/strings.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial
/usr/share/doc/idris2-doc/html/_sources/tutorial/conclusions.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/index.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/interactive.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/interfaces.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/interp.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/introduction.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/miscellany.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/modules.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/multiplicities.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/packages.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/starting.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/theorems.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/typesfuns.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/views.rst.txt
/usr/share/doc/idris2-doc/html/_sources/tutorial/windows.rst.txt
/usr/share/doc/idris2-doc/html/_sources/typedd
/usr/share/doc/idris2-doc/html/_sources/typedd/typedd.rst.txt
/usr/share/doc/idris2-doc/html/_sources/updates
/usr/share/doc/idris2-doc/html/_sources/updates/updates.rst.txt
/usr/share/doc/idris2-doc/html/_static
/usr/share/doc/idris2-doc/html/_static/_sphinx_javascript_frameworks_compat.js
/usr/share/doc/idris2-doc/html/_static/basic.css
/usr/share/doc/idris2-doc/html/_static/css
/usr/share/doc/idris2-doc/html/_static/css/badge_only.css
/usr/share/doc/idris2-doc/html/_static/css/theme.css
/usr/share/doc/idris2-doc/html/_static/doctools.js
/usr/share/doc/idris2-doc/html/_static/documentation_options.js
/usr/share/doc/idris2-doc/html/_static/file.png
/usr/share/doc/idris2-doc/html/_static/jquery.js
/usr/share/doc/idris2-doc/html/_static/js
/usr/share/doc/idris2-doc/html/_static/js/badge_only.js
/usr/share/doc/idris2-doc/html/_static/js/theme.js
/usr/share/doc/idris2-doc/html/_static/language_data.js
/usr/share/doc/idris2-doc/html/_static/minus.png
/usr/share/doc/idris2-doc/html/_static/plus.png
/usr/share/doc/idris2-doc/html/_static/pygments.css
/usr/share/doc/idris2-doc/html/_static/searchtools.js
/usr/share/doc/idris2-doc/html/_static/sphinx_highlight.js
/usr/share/doc/idris2-doc/html/app
/usr/share/doc/idris2-doc/html/app/exceptionsstate.html
/usr/share/doc/idris2-doc/html/app/index.html
/usr/share/doc/idris2-doc/html/app/interfaces.html
/usr/share/doc/idris2-doc/html/app/introapp.html
/usr/share/doc/idris2-doc/html/app/linear.html
/usr/share/doc/idris2-doc/html/backends
/usr/share/doc/idris2-doc/html/backends/backend-cookbook.html
/usr/share/doc/idris2-doc/html/backends/chez.html
/usr/share/doc/idris2-doc/html/backends/custom.html
/usr/share/doc/idris2-doc/html/backends/gambit.html
/usr/share/doc/idris2-doc/html/backends/incremental.html
/usr/share/doc/idris2-doc/html/backends/index.html
/usr/share/doc/idris2-doc/html/backends/javascript.html
/usr/share/doc/idris2-doc/html/backends/libraries.html
/usr/share/doc/idris2-doc/html/backends/racket.html
/usr/share/doc/idris2-doc/html/backends/refc.html
/usr/share/doc/idris2-doc/html/cookbook
/usr/share/doc/idris2-doc/html/cookbook/index.html
/usr/share/doc/idris2-doc/html/cookbook/parsing.html
/usr/share/doc/idris2-doc/html/faq
/usr/share/doc/idris2-doc/html/faq/faq.html
/usr/share/doc/idris2-doc/html/ffi
/usr/share/doc/idris2-doc/html/ffi/ffi.html
/usr/share/doc/idris2-doc/html/ffi/index.html
/usr/share/doc/idris2-doc/html/ffi/readline.html
/usr/share/doc/idris2-doc/html/genindex.html
/usr/share/doc/idris2-doc/html/implementation
/usr/share/doc/idris2-doc/html/implementation/ide-protocol.html
/usr/share/doc/idris2-doc/html/implementation/index.html
/usr/share/doc/idris2-doc/html/implementation/overview.html
/usr/share/doc/idris2-doc/html/index.html
/usr/share/doc/idris2-doc/html/libraries
/usr/share/doc/idris2-doc/html/libraries/index.html
/usr/share/doc/idris2-doc/html/objects.inv
/usr/share/doc/idris2-doc/html/proofs
/usr/share/doc/idris2-doc/html/proofs/definitional.html
/usr/share/doc/idris2-doc/html/proofs/index.html
/usr/share/doc/idris2-doc/html/proofs/inductive.html
/usr/share/doc/idris2-doc/html/proofs/patterns.html
/usr/share/doc/idris2-doc/html/proofs/pluscomm.html
/usr/share/doc/idris2-doc/html/proofs/propositional.html
/usr/share/doc/idris2-doc/html/reference
/usr/share/doc/idris2-doc/html/reference/builtins.html
/usr/share/doc/idris2-doc/html/reference/debugging.html
/usr/share/doc/idris2-doc/html/reference/documenting.html
/usr/share/doc/idris2-doc/html/reference/envvars.html
/usr/share/doc/idris2-doc/html/reference/failing.html
/usr/share/doc/idris2-doc/html/reference/index.html
/usr/share/doc/idris2-doc/html/reference/literate.html
/usr/share/doc/idris2-doc/html/reference/operators.html
/usr/share/doc/idris2-doc/html/reference/overloadedlit.html
/usr/share/doc/idris2-doc/html/reference/packages.html
/usr/share/doc/idris2-doc/html/reference/pragmas.html
/usr/share/doc/idris2-doc/html/reference/records.html
/usr/share/doc/idris2-doc/html/reference/strings.html
/usr/share/doc/idris2-doc/html/search.html
/usr/share/doc/idris2-doc/html/searchindex.js
/usr/share/doc/idris2-doc/html/tutorial
/usr/share/doc/idris2-doc/html/tutorial/conclusions.html
/usr/share/doc/idris2-doc/html/tutorial/index.html
/usr/share/doc/idris2-doc/html/tutorial/interactive.html
/usr/share/doc/idris2-doc/html/tutorial/interfaces.html
/usr/share/doc/idris2-doc/html/tutorial/interp.html
/usr/share/doc/idris2-doc/html/tutorial/introduction.html
/usr/share/doc/idris2-doc/html/tutorial/miscellany.html
/usr/share/doc/idris2-doc/html/tutorial/modules.html
/usr/share/doc/idris2-doc/html/tutorial/multiplicities.html
/usr/share/doc/idris2-doc/html/tutorial/packages.html
/usr/share/doc/idris2-doc/html/tutorial/starting.html
/usr/share/doc/idris2-doc/html/tutorial/theorems.html
/usr/share/doc/idris2-doc/html/tutorial/typesfuns.html
/usr/share/doc/idris2-doc/html/tutorial/views.html
/usr/share/doc/idris2-doc/html/tutorial/windows.html
/usr/share/doc/idris2-doc/html/typedd
/usr/share/doc/idris2-doc/html/typedd/typedd.html
/usr/share/doc/idris2-doc/html/updates
/usr/share/doc/idris2-doc/html/updates/updates.html
REQUIRES
fontawesome-fonts
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
PROVIDES
idris2-doc 0.8.0-1.el10_2
CONFIG FILES
/usr/share/doc/idris2-doc
/usr/share/doc/idris2-doc/html
/usr/share/doc/idris2-doc/html/.buildinfo d
/usr/share/doc/idris2-doc/html/_images
/usr/share/doc/idris2-doc/html/_images/login.png d
/usr/share/doc/idris2-doc/html/_sources
/usr/share/doc/idris2-doc/html/_sources/app
/usr/share/doc/idris2-doc/html/_sources/app/exceptionsstate.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/app/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/app/interfaces.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/app/introapp.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/app/linear.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends
/usr/share/doc/idris2-doc/html/_sources/backends/backend-cookbook.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/chez.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/custom.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/gambit.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/incremental.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/javascript.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/libraries.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/racket.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/backends/refc.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/cookbook
/usr/share/doc/idris2-doc/html/_sources/cookbook/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/cookbook/parsing.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/faq
/usr/share/doc/idris2-doc/html/_sources/faq/faq.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/ffi
/usr/share/doc/idris2-doc/html/_sources/ffi/ffi.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/ffi/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/ffi/readline.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/implementation
/usr/share/doc/idris2-doc/html/_sources/implementation/ide-protocol.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/implementation/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/implementation/overview.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/libraries
/usr/share/doc/idris2-doc/html/_sources/libraries/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/proofs
/usr/share/doc/idris2-doc/html/_sources/proofs/definitional.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/proofs/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/proofs/inductive.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/proofs/patterns.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/proofs/pluscomm.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/proofs/propositional.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference
/usr/share/doc/idris2-doc/html/_sources/reference/builtins.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/debugging.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/documenting.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/envvars.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/failing.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/literate.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/operators.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/overloadedlit.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/packages.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/pragmas.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/records.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/reference/strings.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial
/usr/share/doc/idris2-doc/html/_sources/tutorial/conclusions.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/index.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/interactive.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/interfaces.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/interp.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/introduction.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/miscellany.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/modules.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/multiplicities.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/packages.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/starting.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/theorems.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/typesfuns.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/views.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/tutorial/windows.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/typedd
/usr/share/doc/idris2-doc/html/_sources/typedd/typedd.rst.txt d
/usr/share/doc/idris2-doc/html/_sources/updates
/usr/share/doc/idris2-doc/html/_sources/updates/updates.rst.txt d
/usr/share/doc/idris2-doc/html/_static
/usr/share/doc/idris2-doc/html/_static/_sphinx_javascript_frameworks_compat.js d
/usr/share/doc/idris2-doc/html/_static/basic.css d
/usr/share/doc/idris2-doc/html/_static/css
/usr/share/doc/idris2-doc/html/_static/css/badge_only.css d
/usr/share/doc/idris2-doc/html/_static/css/theme.css d
/usr/share/doc/idris2-doc/html/_static/doctools.js d
/usr/share/doc/idris2-doc/html/_static/documentation_options.js d
/usr/share/doc/idris2-doc/html/_static/file.png d
/usr/share/doc/idris2-doc/html/_static/jquery.js d
/usr/share/doc/idris2-doc/html/_static/js
/usr/share/doc/idris2-doc/html/_static/js/badge_only.js d
/usr/share/doc/idris2-doc/html/_static/js/theme.js d
/usr/share/doc/idris2-doc/html/_static/language_data.js d
/usr/share/doc/idris2-doc/html/_static/minus.png d
/usr/share/doc/idris2-doc/html/_static/plus.png d
/usr/share/doc/idris2-doc/html/_static/pygments.css d
/usr/share/doc/idris2-doc/html/_static/searchtools.js d
/usr/share/doc/idris2-doc/html/_static/sphinx_highlight.js d
/usr/share/doc/idris2-doc/html/app
/usr/share/doc/idris2-doc/html/app/exceptionsstate.html d
/usr/share/doc/idris2-doc/html/app/index.html d
/usr/share/doc/idris2-doc/html/app/interfaces.html d
/usr/share/doc/idris2-doc/html/app/introapp.html d
/usr/share/doc/idris2-doc/html/app/linear.html d
/usr/share/doc/idris2-doc/html/backends
/usr/share/doc/idris2-doc/html/backends/backend-cookbook.html d
/usr/share/doc/idris2-doc/html/backends/chez.html d
/usr/share/doc/idris2-doc/html/backends/custom.html d
/usr/share/doc/idris2-doc/html/backends/gambit.html d
/usr/share/doc/idris2-doc/html/backends/incremental.html d
/usr/share/doc/idris2-doc/html/backends/index.html d
/usr/share/doc/idris2-doc/html/backends/javascript.html d
/usr/share/doc/idris2-doc/html/backends/libraries.html d
/usr/share/doc/idris2-doc/html/backends/racket.html d
/usr/share/doc/idris2-doc/html/backends/refc.html d
/usr/share/doc/idris2-doc/html/cookbook
/usr/share/doc/idris2-doc/html/cookbook/index.html d
/usr/share/doc/idris2-doc/html/cookbook/parsing.html d
/usr/share/doc/idris2-doc/html/faq
/usr/share/doc/idris2-doc/html/faq/faq.html d
/usr/share/doc/idris2-doc/html/ffi
/usr/share/doc/idris2-doc/html/ffi/ffi.html d
/usr/share/doc/idris2-doc/html/ffi/index.html d
/usr/share/doc/idris2-doc/html/ffi/readline.html d
/usr/share/doc/idris2-doc/html/genindex.html d
/usr/share/doc/idris2-doc/html/implementation
/usr/share/doc/idris2-doc/html/implementation/ide-protocol.html d
/usr/share/doc/idris2-doc/html/implementation/index.html d
/usr/share/doc/idris2-doc/html/implementation/overview.html d
/usr/share/doc/idris2-doc/html/index.html d
/usr/share/doc/idris2-doc/html/libraries
/usr/share/doc/idris2-doc/html/libraries/index.html d
/usr/share/doc/idris2-doc/html/objects.inv d
/usr/share/doc/idris2-doc/html/proofs
/usr/share/doc/idris2-doc/html/proofs/definitional.html d
/usr/share/doc/idris2-doc/html/proofs/index.html d
/usr/share/doc/idris2-doc/html/proofs/inductive.html d
/usr/share/doc/idris2-doc/html/proofs/patterns.html d
/usr/share/doc/idris2-doc/html/proofs/pluscomm.html d
/usr/share/doc/idris2-doc/html/proofs/propositional.html d
/usr/share/doc/idris2-doc/html/reference
/usr/share/doc/idris2-doc/html/reference/builtins.html d
/usr/share/doc/idris2-doc/html/reference/debugging.html d
/usr/share/doc/idris2-doc/html/reference/documenting.html d
/usr/share/doc/idris2-doc/html/reference/envvars.html d
/usr/share/doc/idris2-doc/html/reference/failing.html d
/usr/share/doc/idris2-doc/html/reference/index.html d
/usr/share/doc/idris2-doc/html/reference/literate.html d
/usr/share/doc/idris2-doc/html/reference/operators.html d
/usr/share/doc/idris2-doc/html/reference/overloadedlit.html d
/usr/share/doc/idris2-doc/html/reference/packages.html d
/usr/share/doc/idris2-doc/html/reference/pragmas.html d
/usr/share/doc/idris2-doc/html/reference/records.html d
/usr/share/doc/idris2-doc/html/reference/strings.html d
/usr/share/doc/idris2-doc/html/search.html d
/usr/share/doc/idris2-doc/html/searchindex.js d
/usr/share/doc/idris2-doc/html/tutorial
/usr/share/doc/idris2-doc/html/tutorial/conclusions.html d
/usr/share/doc/idris2-doc/html/tutorial/index.html d
/usr/share/doc/idris2-doc/html/tutorial/interactive.html d
/usr/share/doc/idris2-doc/html/tutorial/interfaces.html d
/usr/share/doc/idris2-doc/html/tutorial/interp.html d
/usr/share/doc/idris2-doc/html/tutorial/introduction.html d
/usr/share/doc/idris2-doc/html/tutorial/miscellany.html d
/usr/share/doc/idris2-doc/html/tutorial/modules.html d
/usr/share/doc/idris2-doc/html/tutorial/multiplicities.html d
/usr/share/doc/idris2-doc/html/tutorial/packages.html d
/usr/share/doc/idris2-doc/html/tutorial/starting.html d
/usr/share/doc/idris2-doc/html/tutorial/theorems.html d
/usr/share/doc/idris2-doc/html/tutorial/typesfuns.html d
/usr/share/doc/idris2-doc/html/tutorial/views.html d
/usr/share/doc/idris2-doc/html/tutorial/windows.html d
/usr/share/doc/idris2-doc/html/typedd
/usr/share/doc/idris2-doc/html/typedd/typedd.html d
/usr/share/doc/idris2-doc/html/updates
/usr/share/doc/idris2-doc/html/updates/updates.html d
LICENSE FILES
BSD-3-Clause
|
