[ol9_developer_EPEL] idris2-doc-0.7.0-4.el9.noarch

The package contains the idris2 manual

Filelist (Show Changelog) (Show related packages)

• /

  • usr

    • share

      • doc

        • idris2-doc

          • html

            • .buildinfo

            • _images

              • login.png

            • _sources

              • app

                • exceptionsstate.rst.txt

                • index.rst.txt

                • interfaces.rst.txt

                • introapp.rst.txt

                • linear.rst.txt

              • backends

                • backend-cookbook.rst.txt

                • chez.rst.txt

                • custom.rst.txt

                • gambit.rst.txt

                • incremental.rst.txt

                • index.rst.txt

                • javascript.rst.txt

                • libraries.rst.txt

                • racket.rst.txt

                • refc.rst.txt

              • cookbook

                • index.rst.txt

                • parsing.rst.txt

              • faq

                • faq.rst.txt

              • ffi

                • ffi.rst.txt

                • index.rst.txt

                • readline.rst.txt

              • implementation

                • ide-protocol.rst.txt

                • index.rst.txt

                • overview.rst.txt

              • index.rst.txt

              • libraries

                • index.rst.txt

              • proofs

                • definitional.rst.txt

                • index.rst.txt

                • inductive.rst.txt

                • patterns.rst.txt

                • pluscomm.rst.txt

                • propositional.rst.txt

              • reference

                • builtins.rst.txt

                • debugging.rst.txt

                • documenting.rst.txt

                • envvars.rst.txt

                • failing.rst.txt

                • index.rst.txt

                • literate.rst.txt

                • overloadedlit.rst.txt

                • packages.rst.txt

                • pragmas.rst.txt

                • records.rst.txt

                • strings.rst.txt

              • tutorial

                • conclusions.rst.txt

                • index.rst.txt

                • interactive.rst.txt

                • interfaces.rst.txt

                • interp.rst.txt

                • introduction.rst.txt

                • miscellany.rst.txt

                • modules.rst.txt

                • multiplicities.rst.txt

                • packages.rst.txt

                • starting.rst.txt

                • theorems.rst.txt

                • typesfuns.rst.txt

                • views.rst.txt

                • windows.rst.txt

              • typedd

                • typedd.rst.txt

              • updates

                • updates.rst.txt

            • _static

              • basic.css

              • css

                • badge_only.css

                • theme.css

              • doctools.js

              • documentation_options.js

              • file.png

              • jquery-3.5.1.js

              • jquery.js

              • js

                • badge_only.js

                • theme.js

              • language_data.js

              • minus.png

              • plus.png

              • pygments.css

              • searchtools.js

              • underscore-1.3.1.js

              • underscore.js

            • app

              • exceptionsstate.html

              • index.html

              • interfaces.html

              • introapp.html

              • linear.html

            • backends

              • backend-cookbook.html

              • chez.html

              • custom.html

              • gambit.html

              • incremental.html

              • index.html

              • javascript.html

              • libraries.html

              • racket.html

              • refc.html

            • cookbook

              • index.html

              • parsing.html

            • faq

              • faq.html

            • ffi

              • ffi.html

              • index.html

              • readline.html

            • genindex.html

            • implementation

              • ide-protocol.html

              • index.html

              • overview.html

            • index.html

            • libraries

              • index.html

            • objects.inv

            • proofs

              • definitional.html

              • index.html

              • inductive.html

              • patterns.html

              • pluscomm.html

              • propositional.html

            • reference

              • builtins.html

              • debugging.html

              • documenting.html

              • envvars.html

              • failing.html

              • index.html

              • literate.html

              • overloadedlit.html

              • packages.html

              • pragmas.html

              • records.html

              • strings.html

            • search.html

            • searchindex.js

            • tutorial

              • conclusions.html

              • index.html

              • interactive.html

              • interfaces.html

              • interp.html

              • introduction.html

              • miscellany.html

              • modules.html

              • multiplicities.html

              • packages.html

              • starting.html

              • theorems.html

              • typesfuns.html

              • views.html

              • windows.html

            • typedd

              • typedd.html

            • updates

              • updates.html