Absolutely loving @idrislang so far, and the course by @edwinbrady at this year's MGS has me off to a pretty strong start. Dependent types feeling like a superpower right now.
Replying to @lambdacasserole @idrislang
Great, glad to hear you're enjoying it!
2:47 AM - 4 Jul 2018
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.