Geeks
Phosphorus15
/
stlc_rs
simply typed lambda calculus written in rust
Primary Language
Rust
MIT License
MIT
stlc_rs GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Watchers
jhcloos
Phosphorus15
Somewhere earthly