Version 0.0.0.5-1 of typerbole is deprecated.

Calculi.Lambda.Cube.Dependent

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?