/pkgs/development/idris-modules/

• ../
• README.md
• TODO.md
• array.nix
• bi.nix
• bifunctors.nix
• build-builtin-package.nix
• build-idris-package.nix
• bytes.nix
• canvas.nix
• categories.nix
• coda.nix
• comonad.nix
• composition.nix
• config.nix
• console.nix
• containers.nix
• cube.nix
• default.nix
• derive.nix
• descncrunch.nix
• dict.nix
• dom.nix
• electron.nix
• eternal.nix
• farrp.nix
• free.nix
• fsm.nix
• glfw.nix
• graphviz.nix
• hamt.nix
• hezarfen.nix
• hrtime.nix
• html.nix
• http.nix
• http4idris.nix
• iaia.nix
• idris-wrapper.nix
• idrishighlighter.nix
• idrisscript.nix
• ipkgparser.nix
• jheiling-extras.nix
• jheiling-js.nix
• js.nix
• lens.nix
• lightyear.nix
• logic.nix
• mapping.nix
• mhd.nix
• pacman.nix
• patricia.nix
• permutations.nix
• pfds.nix
• pipes.nix
• posix.nix
• quantities.nix
• rationals.nix
• recursion_schemes.nix
• refined.nix
• sdl.nix
• sdl2.nix
• semidirect.nix
• setoids.nix
• smproc.nix
• snippets.nix
• software_foundations.nix
• specdris.nix
• tap.nix
• test.nix
• tfrandom.nix
• tlhydra.nix
• tomladris.nix
• tp.nix
• tparsec.nix
• transducers.nix
• trees.nix
• union_type.nix
• vdom.nix
• vecspace.nix
• webgl.nix
• with-packages.nix
• wl-pprint.nix
• wyvern.nix
• xhr.nix
• yaml.nix
• yampa.nix