Mateusz Kowalczyk 691b2ac0ad haskell-Agda: update to 2.4.2.2

2014-12-10 09:48:11 +00:00

..

default.nix

haskell-Agda: update to 2.4.2.2

2014-12-10 09:48:11 +00:00

stdlib.nix

AgdaStdlib: update to 0.9

2014-11-17 16:48:10 +00:00