15 commits

Author	SHA1	Message	Date
Mateusz Kowalczyk	d50c0e75b8	agda: fix license	2014-09-11 20:35:56 +01:00
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	6ea21ad737	haskell-Agda: update to version 2.4.2 ... I had to disable the Haddock phase because of lots of errors: http://hydra.cryp.to/build/181564/nixlog/1/raw	2014-08-31 18:17:01 +02:00
Peter Simons	84cf3f3de7	Agda: drop obsolete version 2.3.2.2	2014-07-31 13:58:36 +02:00
Peter Simons	689b322e10	Agda: update to version 2.4.0.2	2014-07-31 13:57:45 +02:00
John Wiegley	324eb38313	haskell-agda-stdlib: properly reference ghc and runhaskell	2014-07-12 04:43:31 -05:00
Mathijs Kwik	9ceeb77bd3	agda-stdlib: no need to jailbreak anymore	2014-06-19 13:38:54 +02:00
Mathijs Kwik	3fd519822f	agda-stdlib: upgrade to 0.8 (they keep changing the version scheme) ... Conflicts: pkgs/development/compilers/agda/stdlib-0.8.nix pkgs/top-level/haskell-packages.nix	2014-06-17 08:25:44 +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
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