8 commits

Author	SHA1	Message	Date
Mateusz Kowalczyk	ee31679bad	agda-stdlib: make expression nicer, fix license	2014-09-11 20:35:56 +01:00
Domen Kožar	f9ba413b55	fix eval	2014-09-05 00:06:11 +02:00
Mateusz Kowalczyk	61c17e326f	Use agda builder for stdlib. mv to all-packages	2014-09-01 01:38:01 +01:00
Mateusz Kowalczyk	b1e388cefb	agda-stdlib: update to 0.8.1 ... This is necessary after the Agda-2.4.2 bump	2014-08-31 19:26:05 +01:00
Peter Simons	84cf3f3de7	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00
John Wiegley	61e8fe50c2	Agda: add 2.4.0.1, 2.3.2.2 is still the default for now	2014-06-16 14:03:17 -07:00
John Wiegley	854b1fb9fb	Build AgdaStdlib before installing it	2014-05-05 19:51:05 -05:00
Peter Simons	c2fd001fd4	Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.	2014-05-04 12:17:35 +02:00

Renamed from pkgs/development/compilers/agda/agda-stdlib.nix (Browse further)