Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |