Mateusz Kowalczyk 714dc47696 agda-iowa-stdlib: renamed from aaron-stump-stdlib ... Per author's request.		2014-09-28 02:21:21 +01:00
..
default.nix	agda-iowa-stdlib: renamed from aaron-stump-stdlib	2014-09-28 02:21:21 +01:00