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