lambda Lambda term normalizer written in Haskell as a semester project for course Functional Programming at the Jagiellonian University