Aycan iRiCAN ae84167aa1 Upgrade idris compiler to 0.9.14.3		2014-10-15 10:57:08 +03:00
..
default.nix	Upgrade idris compiler to 0.9.14.3	2014-10-15 10:57:08 +03:00
wrapper.nix	Fixed idris wrapper to make idris work with different backends.	2014-09-29 04:14:59 +01:00