- I'm a computer science student ๐ป
- I'm interested in functional programming, type theory, and artificial intelligence ๐ค
- I'm also a musician ๐ธ
carnagion / lamb Goto Github PK
View Code? Open in Web Editor NEWPure untyped lambda calculus in safe Rust.
Home Page: https://crates.io/crates/lamb
License: MIT License