andreasdotorg Retweeted eli4d
There's also Idris, F#, Agda, et al. But generally, yes, dependent types matter. (I like F# because it automates trivial proofs.)https://twitter.com/eli4d/status/892096795391795200 …
andreasdotorg added,
12:07 PM - 25 Oct 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.