| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | idrisPackages: Clean up packages | Silvan Mosberger | 2018-07-02 |
| * | idrisPackages: add packages | Márton Boros | 2018-03-20 |
| * | idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 | Márton Boros | 2018-03-09 |
| * | idrisPackages: fix errors | Márton Boros | 2018-03-09 |
| * | Refactor Idris packaging infrastructure | Matthew Pickering | 2018-02-07 |
| * | wl-pprint: update to 2016-09-28 | Langston Barrett | 2016-09-28 |
| * | idris-wl-pprint: Use fetchFromGitHub | Shea Levy | 2015-11-28 |
| * | idris-modules: documentation | Shea Levy | 2015-11-27 |
| * | Add wl-pprint Idris package. | Shea Levy | 2015-11-27 |