Pascal Wittmann 8df0e0b151 Fixed many descriptions		2014-11-11 14:36:34 +01:00
..
default.nix	agda: jailbreak to fix build with recent versions of 'text'	2014-11-01 21:08:03 +01:00
stdlib.nix	Fixed many descriptions	2014-11-11 14:36:34 +01:00