| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | treewide: Don't use envHook anymore | John Ericson | 2017-12-30 |
| * | idrisPackages.idris: 1.0 -> 1.1.1 | Thomas Tuegel | 2017-08-23 |
| * | idris-modules: documentation | Shea Levy | 2015-11-27 |
| * | Add wl-pprint Idris package. | Shea Levy | 2015-11-27 |
| * | Add builtin idris packages to idrisPackages | Shea Levy | 2015-11-27 |