Evaluation semantics for non-deterministic lambda calculus w/ booleans
Primary LanguageOCaml
This repository is not active