(Note that this is also very old.) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		dbaupp on Sept 5, 2013 \| parent \| context \| favorite \| on: A PLT Redex model of Rust, almost (Note that this is also very old.)

felixr on Sept 5, 2013 [–]

It seems as if formal models of Rust have a tendency to rust.

dbaupp on Sept 5, 2013 | [–]

Haha, anything not in the source tree of Rust (or Servo) tends to rust... things change quickly.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact