21 Sep
2018
21 Sep
'18
10:42 a.m.
Hello trent, On Fri, Sep 21, 2018 at 03:26:02AM -0700, trent shipley wrote:
data Prop = Const Bool [...]
changing all the three occurrences of Yff to Iff does not produce error. If you change only two you will get an error, because you have a pattern-matching against a non-existent constructor -F