data/haskell-cryptol-2.8.0/src/Cryptol/Eval.hs:254: efficently ==> efficiently
data/haskell-cryptol-2.8.0/src/Cryptol/Eval/Monad.hs:64: evalutaion ==> evaluation
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Base.hs:341: te ==> the, be, we
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Base.hs:343: te ==> the, be, we
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Base.hs:402: ot ==> to, of, or
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/InstantiateModule.hs:88: parametr ==> parameter
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Exports.hs:18: namesD ==> named, names
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Monad.hs:122: ue ==> use, due
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Monad.hs:122: ue ==> use, due
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Monad.hs:213: ue ==> use, due
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Monad.hs:213: ue ==> use, due
data/haskell-cryptol-2.8.0/src/Cryptol/ModuleSystem/Monad.hs:532: Usefule ==> Useful
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/AST.hs:118: instnaces ==> instances
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/AST.hs:120: Declartions ==> Declarations
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/AST.hs:275: Infromation ==> Information
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/LexerUtils.hs:283: delimeters ==> delimiters
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Names.hs:29: namesD ==> named, names
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Names.hs:32: namesD ==> named, names
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Names.hs:33: namesD ==> named, names
data/haskell-cryptol-2.8.0/src/Cryptol/Parser/Names.hs:42: namesD ==> named, names
data/haskell-cryptol-2.8.0/src/Cryptol/Prims/Eval.hs:635: arithemtic ==> arithmetic
data/haskell-cryptol-2.8.0/src/Cryptol/REPL/Command.hs:201: nin ==> inn, min, bin, nine
data/haskell-cryptol-2.8.0/src/Cryptol/REPL/Command.hs:486: equivalant ==> equivalent
data/haskell-cryptol-2.8.0/src/Cryptol/REPL/Monad.hs:417: evalute ==> evaluate
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic/Prims.hs:211: returing ==> returning
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic/Prims.hs:370: bitIs ==> bits
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic/Prims.hs:372: bitIs ==> bits
data/haskell-cryptol-2.8.0/src/Cryptol/Symbolic/Prims.hs:373: bitIs ==> bits
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/CheckModuleInstance.hs:101: explictly ==> explicitly
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/CheckModuleInstance.hs:103: declartion ==> declaration
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/CheckModuleInstance.hs:152: Mising ==> Missing
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Default.hs:135: definately ==> definitely
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Default.hs:169: als ==> also
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Depends.hs:174: annoted ==> annotated
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Depends.hs:189: onces ==> ounces, once, ones
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Depends.hs:199: onces ==> ounces, once, ones
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Depends.hs:207: occurances ==> occurrences
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Error.hs:36: Frist ==> First
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Type.hs:115: infor ==> info
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Type.hs:385: occurances ==> occurrences
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Monad.hs:119: coutner ==> counter
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Monad.hs:134: coutner ==> counter
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Monad.hs:407: Plese ==> Please
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Sanity.hs:383: siganture ==> signature
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Class.hs:133: lenght ==> length
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Class.hs:247: orignal ==> original
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Improve.hs:21: substitions ==> substitutions
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Improve.hs:41: substitions ==> substitutions
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Improve.hs:61: substitions ==> substitutions
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/SMT.hs:202: ans ==> and
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/SMT.hs:204: ans ==> and
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Selector.hs:128: oT ==> to, of, or
data/haskell-cryptol-2.8.0/src/Cryptol/TypeCheck/Solver/Selector.hs:130: oT ==> to, of, or
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/PP.hs:184: oridinal ==> ordinal, original
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/PP.hs:189: nd ==> and, 2nd
data/haskell-cryptol-2.8.0/src/Cryptol/Utils/Patterns.hs:78: faliure ==> failure
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Eval/Monad.hs:64: evalutaion ==> evaluation
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Exports.hs:19: namesD ==> named, names
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Monad.hs:122: ue ==> use, due
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Monad.hs:122: ue ==> use, due
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Monad.hs:213: ue ==> use, due
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Monad.hs:213: ue ==> use, due
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/ModuleSystem/Monad.hs:530: Usefule ==> Useful
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/Utils/Patterns.hs:77: faliure ==> failure
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/TypeCheck/Monad.hs:119: coutner ==> counter
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/TypeCheck/Monad.hs:134: coutner ==> counter
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/TypeCheck/Monad.hs:405: Plese ==> Please
data/haskell-cryptol-2.8.0/.pc/newer-deps/src/Cryptol/TypeCheck/Sanity.hs:383: siganture ==> signature