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