/Lambda-calculator

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

Primary LanguageHaskell

Lambda-calculator

HSE University homework (December 2021)

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