There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
This is a lambda calculus solver/reducer I wrote to better understand what it is and how it works. I choose Rust as my language of choose because it is the one I feel the most comfortable programming in.