Can Idris have a little shell execution during type checking, as a treat?
-
-
-
Replying to @anormalform
That was
@edwinbrady's suggestion for a, uh, sane version of this too2 replies 0 retweets 0 likes
Replying to @wenkokke @anormalform
I am looking forward to your patch :)
4:43 PM - 22 Apr 2020
0 replies
0 retweets
4 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.