Lambda calculator written in Rust
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
$ cargo run -- "(λxy.xy)(λx.x)x" [0]: x
License:Creative Commons Zero v1.0 Universal