11 Commits (33fadf3131f4e9bb2f58349e699e93aba17244ba)

Author	SHA1	Message	Date
Felix Buehler	3df56ed3e4	idris-modules: rename name to pname	2 years ago
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	4 years ago
Silvan Mosberger	b73f540beb	idrisPackages: Clean up packages	6 years ago
Márton Boros	23ee7c9d8d	idrisPackages: add packages	6 years ago
Márton Boros	4d4171d5f6	idrisPackages.wl-pprint: 2016-09-28 -> 2017-03-13	6 years ago
Márton Boros	4f1d26288f	idrisPackages: fix errors	6 years ago
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.	6 years ago
Langston Barrett	e7b3d9c7c8	wl-pprint: update to 2016-09-28	8 years ago
Shea Levy	920930510e	idris-wl-pprint: Use fetchFromGitHub	9 years ago
Shea Levy	0f90c9dbc1	idris-modules: documentation	9 years ago
Shea Levy	0dce60b34d	Add wl-pprint Idris package.	9 years ago