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