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.