Giters

Phosphorus15 / stlc_rs

simply typed lambda calculus written in rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

stlc_rs

simply typed lambda calculus written in rust

types on its way

About

simply typed lambda calculus written in rust

License:MIT License

Languages

Language:Rust 100.0%