21 Jan
2016
21 Jan
'16
7:28 p.m.
+1 for either Data.Bool.implies or Data.Bool.(==>). +1 for right-associativity. Cheers, -- Felipe.