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 ?
-
-
Replying to @skaalf @idrislang
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...
1 reply 0 retweets 0 likes -
Replying to @edwinbrady @idrislang
Uh indeed, it works will Boolean! Thanks :)
1 reply 0 retweets 0 likes
Replying to @skaalf @idrislang
Edwin Brady Retweeted Idris Language
You prompted me to get on with doing this, so that was helpful, thanks :).https://twitter.com/idrislang/status/1000421643330650124 …
Edwin Brady added,
10:01 AM - 26 May 2018
0 replies
0 retweets
2 likes
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.