22 Jan
2016
22 Jan
'16
11:48 p.m.
On 22/01/16 18:24, Iavor Diatchki wrote:
I am ambivalent about adding an `implies` function as long as it is not automatically in scope. However, can anyone give some examples of using this in your code? All the ones I could think of would seem easier to follow when written with `if-then-else` or a guard.
I use it e.g. in assert (isProduction `implies` (iterations > 50)) $ ... other code ...