2 Commits

Author	SHA1	Message	Date
Peter Simons	c2fd001fd4	Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.	2014-05-04 12:17:35 +02:00
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