Peter Simons 64d662e056 Agda: move compiler and standard library into a common directory ... Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't seem to capitalize that name.		2014-05-03 12:37:17 +02:00
..
agda-executable.nix	Agda: move compiler and standard library into a common directory	2014-05-03 12:37:17 +02:00
agda-stdlib.nix	Agda: move compiler and standard library into a common directory	2014-05-03 12:37:17 +02:00