Maciek Starzyk 6296d967fd haskell-idris: update to version 0.9.15.1		2014-10-29 21:03:08 +01:00
..
default.nix	haskell-idris: update to version 0.9.15.1	2014-10-29 21:03:08 +01:00
wrapper.nix	Fixed idris wrapper to make idris work with different backends.	2014-09-29 04:14:59 +01:00