pkgs/development/idris-modules · nixpkgs · Tangled

lol

nixpkgs pkgs development idris-modules

83 files

Ben Siraphob · treewide: remove redundant name attrs and parseDrvName calls · 7mo ago

build-builtin-package.nix

treewide: remove redundant name attrs and parseDrvName calls

build-idris-package.nix

composition.nix

idris-wrapper.nix

{idris, idrisPackages.idris}: set pname and version

idrishighlighter.nix

idrisscript.nix

jheiling-extras.nix

jheiling-js.nix

permutations.nix

recursion_schemes.nix

software_foundations.nix

transducers.nix

with-packages.nix

{idris, idrisPackages.idris}: set pname and version

README.md

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