@hackage / lambda-cube

Haskell implementation of (some of) lambda cube calculi

0.3.0.0

Dependents