It's Independent Learning Week here in St Andrews, so I'm Independently Learning what Idris 2 can do. You'd think this is the sort of thing I'd know, but it continues to surprise me in pleasing ways.
-
Show this thread
Replying to @SeanTAllen
Nobody involved in any kind of language design or implementatioun would, I expect :)
10:03 AM - 23 Oct 2019
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.