3 commits

Author	SHA1	Message	Date
Felix Buehler	3df56ed3e4	idris-modules: rename name to pname	2022-02-23 11:28:15 +01:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Imuli	a6e17d6f11	idrisPackages.quantities: init at 2018-04-17	2018-08-04 23:10:43 -04:00