| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | haskell-idris: updated to version 0.9.0 | Peter Simons | 2012-01-18 |
| * | Updated build expressions for the current version of cabal.nix. | Peter Simons | 2011-08-23 |
| * | haskell-idris: updated to version 0.1.7.1 | Peter Simons | 2011-08-13 |
| * | Updated the Idris compiler. | Andres Löh | 2010-09-29 |
| * | Added Idris and updated fetchdarcs. | Andres Löh | 2009-05-13 |