master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\Cryptol\TypeCheck\Solver\Numeric.hs
 2 1
A
src\Cryptol\TypeCheck\Solver\InfNat.hs
 1 -
A
src\Cryptol\TypeCheck\Solver\Improve.hs
 2 -
A
src\Cryptol\TypeCheck\Solver\Class.hs
 2 -
A
src\Cryptol\TypeCheck\Solve.hs
 4 1
A
src\Cryptol\TypeCheck\SimpleSolver.hs
 2 1
A
src\Cryptol\TypeCheck\SimpType.hs
 3 -
A
src\Cryptol\TypeCheck\Sanity.hs
 8 -
A
src\Cryptol\TypeCheck\Parseable.hs
 4 3
A
src\Cryptol\TypeCheck\PP.hs
 1 -
A
src\Cryptol\TypeCheck\Monad.hs
 6 1
A
src\Cryptol\TypeCheck\ModuleInstance.hs
 2 -
A
src\Cryptol\TypeCheck\ModuleBacktickInstance.hs
 2 -
A
src\Cryptol\TypeCheck\Module.hs
 2 -
A
src\Cryptol\TypeCheck\Kind.hs
 5 -
A
src\Cryptol\TypeCheck\Interface.hs
 3 -
A
src\Cryptol\TypeCheck\Instantiate.hs
 4 -
A
src\Cryptol\TypeCheck\InferTypes.hs
 4 -
A
src\Cryptol\TypeCheck\Infer.hs
 10 2
A
src\Cryptol\TypeCheck\FFI\FFIType.hs
 4 -