John Ericson be2cba690c agda: Remove unused/uneeded abstractions, including postprocess		2015-05-31 01:55:10 +00:00
..
default.nix	agda: Remove unused/uneeded abstractions, including postprocess	2015-05-31 01:55:10 +00:00