nixpkgs/pkgs/development/idris-modules/ at 20.03 · tjh.dev/nixpkgs

tjh.dev / nixpkgs

nixpkgs mirror (for testing) github.com/NixOS/nixpkgs

nix

nixpkgs / pkgs / development / idris-modules /

at 20.03 86 files

build-builtin-package.nix

build-idris-package.nix

composition.nix

descncrunch.nix

idris-wrapper.nix

idrishighlighter.nix

idrisscript.nix

jheiling-extras.nix

jheiling-js.nix

permutations.nix

recursion_schemes.nix

software_foundations.nix

transducers.nix

with-packages.nix

README.md

Moved to /doc/languages-frameworks/idris.section.md