Dmitry Kalinkin 3b6de72836 agda: use exec in agdaWrapper		2018-12-07 21:37:19 -05:00
..
default.nix	agda: use exec in agdaWrapper	2018-12-07 21:37:19 -05:00