« Idris too has implicit parameters! Haha! » Yep, and it’s definitely painful, we need to find something better.
Replying to @BeRewt
I think it’s marginally less painful since there’s no subtyping, but they’re still a hack, albeit a useful one. We need something better.
6:40 AM - 26 Nov 2017
0 replies
0 retweets
3 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.