Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2018-07-02 | idrisPackages: Clean up packages | Silvan Mosberger | 1 | -6/+0 |
2018-03-20 | idrisPackages: add packages | Márton Boros | 1 | -4/+0 |
2018-03-09 | idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13 | Márton Boros | 1 | -3/+3 |
2018-03-09 | idrisPackages: fix errors | Márton Boros | 1 | -1/+1 |
2018-02-07 | Refactor Idris packaging infrastructure | Matthew Pickering | 1 | -2/+3 |
2016-09-28 | wl-pprint: update to 2016-09-28 | Langston Barrett | 1 | -7/+9 |
2015-11-28 | idris-wl-pprint: Use fetchFromGitHub | Shea Levy | 1 | -4/+5 |
2015-11-27 | idris-modules: documentation | Shea Levy | 1 | -2/+18 |
2015-11-27 | Add wl-pprint Idris package. | Shea Levy | 1 | -0/+11 |