hiroki-chen/lambda-rs

A dependently typed lambda calculus interpreter

Rust