@hackage / lambda-cube

Haskell implementation of (some of) lambda cube calculi

Latest0.3.0.0

Dependencies