GitHub repository: sdleffler/tarpit-rs
Primary language: Rust
Created: 2017-03-08T05:26:22Z
Description: A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.