Commit message (Expand) | Author | Age | |
---|---|---|---|
* | idris: Move library setup to the setup hook. | Shea Levy | 2018-01-20 |
* | 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 |