Hey! I asked a question about @idrislang on SO: https://stackoverflow.com/questions/50544186/compilation-error-while-implementing-extensible-record …. Anyone knows what's happening ?
It looks like the DecEq instance for String is the problem. I've no idea why it's written the way it is, but it's producing a broken proof of No...
-
-
Uh indeed, it works will Boolean! Thanks :)
-
You prompted me to get on with doing this, so that was helpful, thanks :).https://twitter.com/idrislang/status/1000421643330650124 …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.