I'm putting a bit of effort into better #idris error messages. But I can't help thinking it'd be easier if people just didn't make errors.
-
-
Replying to @edwinbrady
@edwinbrady I think it's a super good idea - every time you hear someone mention#elmlang's error messages on twitter they are *gushing*2 replies 0 retweets 0 likes
Replying to @0x2ba22e11
@0x2ba22e11 Indeed! I wonder how well they can do when the types get really hairy though… still, identifying the common errors is useful.
5:49 AM - 19 Apr 2016
0 replies
0 retweets
1 like
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.