Maksymilian Owsianny a7197741ac Fixed idris wrapper to make idris work with different backends. ... Closes #4314		2014-09-29 04:14:59 +01:00
..
default.nix	Fixed idris.	2014-09-24 19:50:08 +02:00
wrapper.nix	Fixed idris wrapper to make idris work with different backends.	2014-09-29 04:14:59 +01:00