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