An interpreter for a custom typed lambda calculus language
Primary LanguageJava
This repository is not active