18 Nov
2015
18 Nov
'15
4:36 a.m.
If there are bugs in the proof, you can give it to your students to patch up.
If I'll ever have any, they aren't going to be CS students :)
Pair a ~ Bool -> a, so the monad instance for Reader should work here
Okay, that makes sense. Sorry for the noise then. Best regards, Marcin Mrotek