• Stars
    star
    1
  • Language
    Rust
  • Created about 3 years ago
  • Updated about 3 years ago

Reviews

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.