nixpkgs/pkgs/development/idris-modules/ at release-18.03 · tjh.dev/nixpkgs · tangled

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / idris-modules /

at release-18.03 11 files

Move all nixpkgs doc files in to the doc directory

8 years ago

idris-modules: Add docs

10 years ago

build-builtin-package.nix

Refactor Idris packaging infrastructure

8 years ago

build-idris-package.nix

Refactor Idris packaging infrastructure

8 years ago

idrisPackages: fix errors

8 years ago

Refactor Idris packaging infrastructure

8 years ago

idris-wrapper.nix

Revert "idris: Move library setup to the setup hook."

8 years ago

Refactor Idris packaging infrastructure

8 years ago

Refactor Idris packaging infrastructure

8 years ago

with-packages.nix

Refactor Idris packaging infrastructure

8 years ago

idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13

8 years ago

README.md

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