Mateusz Kowalczyk d50c0e75b8 agda: fix license

2014-09-11 20:35:56 +01:00

..

default.nix

agda: fix license

2014-09-11 20:35:56 +01:00

stdlib.nix

agda-stdlib: make expression nicer, fix license

2014-09-11 20:35:56 +01:00