nixpkgs/pkgs/development/libraries/agda/agda-iowa-stdlib
Mateusz Kowalczyk 73db2dab55 agda-iowa-stdlib: update to r18734
Now works with Agda 2.4.2.1
2014-11-18 07:58:50 +00:00
..
default.nix agda-iowa-stdlib: update to r18734 2014-11-18 07:58:50 +00:00