| Commit message (Collapse) | 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 |