WonderfulWorldOfHaskell Haskell Lamba Type Derivations A Collection of functions written in Haskell to produce type derivations for Lambda terms