I notice that JavaScript is in there too, but Idris isn't...https://twitter.com/larsberg_/status/969970065130098688 …
-
-
Replying to @edwinbrady
Rust isn't even a functional programming language
3 replies 0 retweets 4 likes
Replying to @pasiphae_goals
I suspect it's just grown over time and nobody ever deletes anything. "XML Processing" is on there, as is Agda.
3:35 PM - 4 Mar 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.