1 commit

Author	SHA1	Message	Date
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