@hackage lambda-cube0.1.0.0

Haskell implementation of (some of) lambda cube calculi

LambdaCube