Mathijs Kwik 9ceeb77bd3 agda-stdlib: no need to jailbreak anymore

2014-06-19 13:38:54 +02:00

..

2.3.2.2.nix

Agda: add 2.4.0.1, 2.3.2.2 is still the default for now

2014-06-16 14:03:17 -07:00

2.4.0.1.nix

Agda: add 2.4.0.1, 2.3.2.2 is still the default for now

2014-06-16 14:03:17 -07:00

stdlib-0.7.nix

Agda: add 2.4.0.1, 2.3.2.2 is still the default for now

2014-06-16 14:03:17 -07:00

stdlib-0.8.nix

agda-stdlib: no need to jailbreak anymore

2014-06-19 13:38:54 +02:00