I declared Idris mainstream last year after repeatedly featuring it at Code Mesh culminated in us having multiple unsolicited talks about it in 2017. New project this year: make Prolog mainstream.
-
-
Not unless you can write a web server in it.

-
hahaha; *well technically* it's part of a compiler toolch-
- 1 more reply
New conversation -
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.