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
Fstar seems also pretty interesting.Rust with dependent types would be rather nice as well although not a big fan of the synthax
1 reply 0 retweets 0 likes
Replying to @JTParker09
And there seems to be some movement in that direction… https://github.com/rust-lang/rfcs/issues/1930#issuecomment-282571183 …
1:19 PM - 26 Feb 2017
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.