GitHub repository: max-heller/church
Primary language: Rust
Description: Modeling (primitive) recursive functions