Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Silvan Mosberger
b73f540beb
idrisPackages: Clean up packages
2018-07-02 06:13:01 +02:00
Márton Boros
23ee7c9d8d
idrisPackages: add packages
2018-03-20 07:16:21 +01:00
Márton Boros
4d4171d5f6
idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13
2018-03-09 10:22:53 +01:00
Márton Boros
4f1d26288f
idrisPackages: fix errors
2018-03-09 09:57:18 +01:00
Matthew Pickering
947e7d80b4
Refactor Idris packaging infrastructure
...
The main two changes are
1. Completely rewrite how with-packages works to remove use of envHooks
2. The package description is now an idris specific set rather than
being a subset of the arguments to mkDerivation. This mirrors the
way Haskell packages are treated.
2018-02-07 19:25:50 +00:00
Langston Barrett
e7b3d9c7c8
wl-pprint: update to 2016-09-28
2016-09-28 19:36:44 +00:00
Shea Levy
920930510e
idris-wl-pprint: Use fetchFromGitHub
2015-11-28 05:53:50 -05:00
Shea Levy
0f90c9dbc1
idris-modules: documentation
2015-11-27 13:17:17 -05:00
Shea Levy
0dce60b34d
Add wl-pprint Idris package.
2015-11-27 11:03:04 -05:00
