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.
-
-
Replying to @bodil
*cough*
@idrislang *cough* *cough* looks like my job prospects are improving since I program mostly in a mainstream language now. /me goes to find another small dependently typed research language...2 replies 0 retweets 3 likes -
Replying to @jfdm @idrislang
I hear
@edwinbrady is working on a new one. Though I also heard he's a Lisp weenie now.1 reply 0 retweets 5 likes
I have a program that writes Lisp for me now, so I'm delegating being a smug Lisp weenie to that.
7:39 AM - 27 Jul 2018
1 reply
0 retweets
8 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.