/Lambda-calculator

Haskell library which allows beta reduction of lambda terms and helps solving problems of their alpha and beta equivalence.

Primary LanguageHaskell

Watchers