Version 0.0.0.4-0 of typerbole is deprecated.
The latest version of typerbole is 0.0.0.5-1.
lib:typerbole
Modules
- Calculi.Lambda
- Calculi.Lambda.Cube
- Calculi.Lambda.Cube.Dependent
- Calculi.Lambda.Cube.HigherOrder
- Calculi.Lambda.Cube.Polymorphic
- Calculi.Lambda.Cube.Polymorphic.Unification
- Calculi.Lambda.Cube.SimpleType
- Calculi.Lambda.Cube.TH
- Compiler.Typesystem.Hask
- Compiler.Typesystem.SimplyTyped
- Compiler.Typesystem.SystemF
- Compiler.Typesystem.SystemFOmega
- Control.Typecheckable
- Data.Graph.Inductive.Helper
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=4.7 && <4.9
- bifunctors lib:bifunctors >=5
- containers lib:containers >=0.5 && <0.6
- data-ordlist lib:data-ordlist >=0
- either lib:either >=0
- fgl lib:fgl >=5.5 && <5.6
- generic-random lib:generic-random ==0.1.1.0
- lens lib:lens >=0
- megaparsec lib:megaparsec <5
- mtl lib:mtl >=0
- safe lib:safe >=0
- semigroups lib:semigroups >=0
- syb lib:syb >=0
- template-haskell lib:template-haskell <2.11
- th-lift lib:th-lift >=0.7 && <0.8
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- typerbole test:typerbole-testing