Peter Simons 689b322e10 Agda: update to version 2.4.0.2		2014-07-31 13:57:45 +02:00
..
2.3.2.2.nix
2.4.0.2.nix	Agda: update to version 2.4.0.2	2014-07-31 13:57:45 +02:00
stdlib-0.7.nix
stdlib-0.8.nix	haskell-agda-stdlib: properly reference ghc and runhaskell	2014-07-12 04:43:31 -05:00