Idris is getting more impressive with every talk I hear about it.
-
-
Replying to @Augustsson
I guess
@d_christiansen has been showing his shiny presentation tools then :)1 reply 0 retweets 2 likes -
Replying to @edwinbrady @d_christiansen
It was a great presentation. What's the presentation tool written in?
3 replies 0 retweets 1 like -
Replying to @Augustsson
I believe it’s in Racket… I must get my hands on it.
@d_christiansen1 reply 0 retweets 1 like -
Replying to @edwinbrady @d_christiansen
I was hoping the answer was going to be Idris.
1 reply 0 retweets 1 like
Replying to @Augustsson @d_christiansen
That would be nice. Need more libraries!
12:47 AM - 20 Sep 2016
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.