Shea Levy a01c7b5a15 idris-modules: Filter out default.nix

2015-11-27 09:57:49 -05:00

..

build-builtin-package.nix

idris-modules: Read the filesystem to populate package list

2015-11-27 09:55:22 -05:00

build-idris-package.nix

Add builtin idris packages to idrisPackages

2015-11-27 09:35:59 -05:00

default.nix

idris-modules: Filter out default.nix

2015-11-27 09:57:49 -05:00

with-packages.nix

idris-modules: Read the filesystem to populate package list

2015-11-27 09:55:22 -05:00