A lambda calculus reducer using the De Bruijn index.
Primary LanguageHaskell
This repository is not active