lambda-cube (hackage): Haskell implementation of the following 4 lambda calculi:  Simply typed lambda calculus  System F  System F omega underbar  System F omega
Keywords: library|mit|utilities