master
cryptol
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
src\Cryptol\ModuleSystem\Interface.hs
 4 -
A
cryptol\REPL\Haskeline.hs
 1 1
A
src\Cryptol\ModuleSystem\Name.hs
 5 -
A
src\Cryptol\Parser\ParserUtils.hs
 9 -
A
src\Cryptol\ModuleSystem\NamingEnv.hs
 5 -
A
docs\FindExercises.hs
 1 -
A
src\Cryptol\ModuleSystem\Renamer.hs
 7 -
A
cryptol-remote-api\docs\conf.py
 1 -
A
src\Cryptol\ModuleSystem\Renamer\ImplicitImports.hs
 1 -
A
docs\ProgrammingCryptol\tools\genAlph.hs
 1 -
A
src\Cryptol\ModuleSystem\Renamer\Monad.hs
 3 -
A
src\Cryptol\TypeCheck\FFI\Error.hs
 4 -
A
src\Cryptol\TypeCheck\InferTypes.hs
 4 -
A
src\Cryptol\TypeCheck\Infer.hs
 10 2
A
src\Cryptol\TypeCheck\Default.hs
 2 -
A
src\Cryptol\REPL\Browse.hs
 2 -
A
src\Cryptol\PrimeEC.hs
 2 2
A
cryptol-remote-api\Setup.hs
 1 -
A
cryptol-remote-api\src\CryptolServer\Names.hs
 3 1
A
src\Cryptol\Eval.hs
 7 1