A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
Primary LanguageRust
No issues in this repository yet.