Frosendroska/Lambda-calculator
Haskell library which allows beta reduction of lambda terms and helps solving problems of their alpha and beta equivalence.
Haskell
Haskell library which allows beta reduction of lambda terms and helps solving problems of their alpha and beta equivalence.
Haskell