GitHub repository: Acidburn0zzz/pikelet
Primary language: Rust
Description: (Please don’t repost, this is still a WIP) A small dependently typed lambda calculus implemented in Rust. 🥞