/pkgs/development/idris-modules/
../
README.md
TODO.md
build-builtin-package.nix
build-idris-package.nix
default.nix
with-packages.nix
wl-pprint.nix