typerbole-0.0.0.5: A typeystems library with exaggerated claims

Index - R

reifyCalculi.Lambda.Cube.SimpleType, Calculi.Lambda.Cube
resolveMutualsCalculi.Lambda.Cube.Polymorphic.Unification, Calculi.Lambda.Cube
runTypecheckControl.Typecheckable