Peter Simons aa91690dad agda: jailbreak to fix build with recent versions of 'text'		2014-11-01 21:08:03 +01:00
..
default.nix	agda: jailbreak to fix build with recent versions of 'text'	2014-11-01 21:08:03 +01:00
stdlib.nix