2017-04-15 | Peter Mikkelsen | gnu: idris: Fix idris-default-arguments. |
commit | commitdiff | tree |
2017-04-15 | Peter Mikkelsen | gnu: idris: Update to 1.0. |
commit | commitdiff | tree |
2017-03-23 | Peter Mikkelsen | gnu: idris: Update to 0.99.1. |
commit | commitdiff | tree |
2017-03-23 | Peter Mikkelsen | gnu: Add ghc-code-page. |
commit | commitdiff | tree |