mail at nh2.me
Fri Jan 22 23:48:38 UTC 2016
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 ...
More information about the Libraries