John Ericson 705c4d7b49 agda: Remove unnecessary env-var export ... Derivation attributes are automatically exported as environment variables already.		2015-05-17 20:15:09 -04:00
..
default.nix	agda: Remove unnecessary env-var export	2015-05-17 20:15:09 -04:00