/nlc-scala

Nameless lambda calculus in Scala

Primary LanguageScalaMIT LicenseMIT

nlc-scala

This project contains an implementation of nameless lambda calculus (NLC) with de Bruijn indices and some Church encodings in Scala.