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