@puffnfresh this might interest you: dependent types for Rust: http://kmcallister.github.io/talks/rust/2015-dependent-types/slides.html …
9:18 PM - 15 May 2015
0 replies
0 retweets
5 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.