I have an ICFP submission with all of 42 hours to spare… I must be doing it wrong again.
-
-
Replying to @edwinbrady
As topics, it lists Agda, Coq and Rust as languages (among others) but not Idris. I suppose I will have to take that as a challenge.
3 replies 1 retweet 15 likes -
Replying to @edwinbrady
I suppose this also means that Rust is officially a functional language now :)
4 replies 0 retweets 13 likes -
Replying to @edwinbrady
As I said before we need dysfunctional languages. Programming produces bugs. Stop bugs by not programming.
1 reply 0 retweets 2 likes
Replying to @j05e
I’m tempted to pass this advice on to my Critical Systems class
11:09 AM - 26 Feb 2017
0 replies
0 retweets
0 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.