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
..
default.nix	haskell-Agda: update to version 2.4.2	2014-08-31 18:17:01 +02:00
stdlib.nix	agda-stdlib: update to 0.8.1	2014-08-31 19:26:05 +01:00