PZ Read says Mar 09, 2017 06:32PM dependent type in rust, more and more RFCsThe pi type trilogy · Issue #1930 · rust-lang/rfcs
