/Lambda-Gen

Random Lambda Term Generator

Primary LanguageC++MIT LicenseMIT

Stargazers