Version 0.0.0.4-0 of typerbole is deprecated.
The latest version of typerbole is 0.0.0.5-1.

Calculi.Lambda.Cube.Dependent

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