Peter Simons 8d013b7561 idris: re-generate expression with cabal2nix		2014-10-19 11:57:04 +02:00
..
default.nix	idris: re-generate expression with cabal2nix	2014-10-19 11:57:04 +02:00
wrapper.nix	Fixed idris wrapper to make idris work with different backends.	2014-09-29 04:14:59 +01:00