← All repos

nikomatsakis/rust-redex

View on GitHub ↗ ★ 41 Racket

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2014-02-14 · latest 2014-10-08