data/agda-2.6.1/CHANGELOG.md:31: enviroment ==> environment
data/agda-2.6.1/CHANGELOG.md:671: heterogenous ==> heterogeneous
data/agda-2.6.1/doc/release-notes/2.5.1.md:70: useable ==> usable
data/agda-2.6.1/doc/release-notes/2.5.1.md:137: BA ==> BY, BE
data/agda-2.6.1/doc/release-notes/2.5.1.md:156: BA ==> BY, BE
data/agda-2.6.1/doc/release-notes/2.5.1.md:158: BA ==> BY, BE
data/agda-2.6.1/doc/release-notes/2.5.1.md:1148: explicitely ==> explicitly
data/agda-2.6.1/doc/release-notes/2.5.1.1.md:63: insteance ==> instance
data/agda-2.6.1/doc/release-notes/2.3.0.md:972: targetting ==> targeting
data/agda-2.6.1/doc/release-notes/2.5.4.md:295: peforming ==> performing
data/agda-2.6.1/doc/release-notes/2.4.0.md:230: demostrates ==> demonstrates
data/agda-2.6.1/doc/release-notes/2.2.10.md:128: WNat ==> want, what
data/agda-2.6.1/doc/release-notes/2.2.10.md:129: WNat ==> want, what
data/agda-2.6.1/doc/release-notes/2.2.10.md:130: WNat ==> want, what
data/agda-2.6.1/doc/release-notes/2.2.10.md:130: WNat ==> want, what
data/agda-2.6.1/doc/release-notes/2.2.10.md:132: WNat ==> want, what
data/agda-2.6.1/doc/release-notes/2.2.10.md:132: WNat ==> want, what
data/agda-2.6.1/doc/release-notes/2.5.2.md:40: documenation ==> documentation
data/agda-2.6.1/doc/release-notes/2.5.2.md:83: uncommited ==> uncommitted
data/agda-2.6.1/doc/release-notes/2.5.2.md:979: occurences ==> occurrences
data/agda-2.6.1/doc/release-notes/2.5.2.md:1088: reenable ==> re-enable
data/agda-2.6.1/doc/release-notes/2.6.0.md:158: absense ==> absence
data/agda-2.6.1/doc/release-notes/2.6.0.md:159: ommitted ==> omitted
data/agda-2.6.1/doc/release-notes/2.6.0.md:202: accidential ==> accidental
data/agda-2.6.1/doc/release-notes/2.6.0.md:795: interal ==> internal, interval, integral
data/agda-2.6.1/doc/release-notes/2.6.0.md:820: Accidential ==> Accidental
data/agda-2.6.1/doc/release-notes/2.4.2.1.md:119: noo ==> no
data/agda-2.6.1/doc/release-notes/2.4.2.1.md:120: noo ==> no
data/agda-2.6.1/doc/release-notes/2.4.2.1.md:120: noo ==> no
data/agda-2.6.1/doc/release-notes/2.5.3.md:342: pathes ==> paths
data/agda-2.6.1/doc/release-notes/2.5.3.md:707: alignement ==> alignment
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:6074: hashs ==> hashes
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:6107: instantation ==> instantiation
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:6108: usefule ==> useful
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:7753: wth ==> with
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:7753: wth ==> with
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:7926: emtpy ==> empty
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:8030: ans ==> and
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:8031: ans ==> and
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:8032: ans ==> and
data/agda-2.6.1/dist/build/Agda/Syntax/Parser/Parser.hs:8033: ans ==> and
data/agda-2.6.1/src/full/Agda/Utils/Benchmark.hs:114: Thid ==> This
data/agda-2.6.1/src/full/Agda/Utils/Warshall.hs:190: egde ==> edge
data/agda-2.6.1/src/full/Agda/Utils/Either.hs:20: allRight ==> all right, alright
data/agda-2.6.1/src/full/Agda/Utils/Either.hs:100: allRight ==> all right, alright
data/agda-2.6.1/src/full/Agda/Utils/Either.hs:107: allRight ==> all right, alright
data/agda-2.6.1/src/full/Agda/Utils/Either.hs:108: allRight ==> all right, alright
data/agda-2.6.1/src/full/Agda/Utils/WithDefault.hs:9: overriden ==> overridden
data/agda-2.6.1/src/full/Agda/Utils/PartialOrd.hs:141: informations ==> information
data/agda-2.6.1/src/full/Agda/Utils/Permutation.hs:30: permuation ==> permutation
data/agda-2.6.1/src/full/Agda/Interaction/Options.hs:932: upto ==> up to
data/agda-2.6.1/src/full/Agda/Interaction/Options.hs:998: disalbe ==> disable
data/agda-2.6.1/src/full/Agda/Interaction/MakeCase.hs:346: splitted ==> split
data/agda-2.6.1/src/full/Agda/Interaction/MakeCase.hs:347: splitted ==> split
data/agda-2.6.1/src/full/Agda/Interaction/MakeCase.hs:348: splitted ==> split
data/agda-2.6.1/src/full/Agda/Interaction/Imports.hs:386: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Interaction/Imports.hs:406: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Interaction/Imports.hs:416: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Interaction/Imports.hs:437: aquired ==> acquired
data/agda-2.6.1/src/full/Agda/Interaction/InteractionTop.hs:136: catched ==> caught
data/agda-2.6.1/src/full/Agda/Interaction/InteractionTop.hs:205: rathern ==> rather
data/agda-2.6.1/src/full/Agda/Interaction/SearchAbout.hs:70: ans ==> and
data/agda-2.6.1/src/full/Agda/Interaction/SearchAbout.hs:70: ans ==> and
data/agda-2.6.1/src/full/Agda/Interaction/SearchAbout.hs:71: ans ==> and
data/agda-2.6.1/src/full/Agda/Interaction/SearchAbout.hs:71: ans ==> and
data/agda-2.6.1/src/full/Agda/Interaction/Base.hs:308: paramter ==> parameter
data/agda-2.6.1/src/full/Agda/Interaction/BasicOps.hs:608: ment ==> meant
data/agda-2.6.1/src/full/Agda/Interaction/BasicOps.hs:907: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Interaction/BasicOps.hs:907: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Interaction/BasicOps.hs:908: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Interaction/BasicOps.hs:908: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Interaction/Response.hs:174: fuction ==> function
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:172: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:211: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:215: Pathes ==> Paths
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:308: als ==> also
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:314: als ==> also
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:325: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:328: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:332: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Interaction/Library.hs:333: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Interaction/Options/Warnings.hs:137: correspondance ==> correspondence
data/agda-2.6.1/src/full/Agda/Interaction/Highlighting/HTML.hs:218: Infomation ==> Information
data/agda-2.6.1/src/full/Agda/Interaction/Library/Parse.hs:112: pathes ==> paths
data/agda-2.6.1/src/full/Agda/TypeChecking/RecordPatterns.hs:377: wether ==> weather, whether
data/agda-2.6.1/src/full/Agda/TypeChecking/RecordPatterns.hs:757: allRight ==> all right, alright
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:140: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:141: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:149: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:152: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:152: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:155: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:156: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:157: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:158: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:159: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Level.hs:160: ba ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Irrelevance.hs:167: alway ==> always
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:192: theses ==> these, thesis
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:352: inferrable ==> inferable
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:705: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:706: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:709: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:710: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:712: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:713: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:715: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:715: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:720: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:720: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage.hs:722: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs:4: noticable ==> noticeable
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs:95: nD ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs:105: nD ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs:156: nD ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs:158: nD ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise.hs:294: pathes ==> paths
data/agda-2.6.1/src/full/Agda/TypeChecking/Unquote.hs:360: LitS ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars.hs:440: conditon ==> condition
data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars.hs:491: lazyness ==> laziness
data/agda-2.6.1/src/full/Agda/TypeChecking/MetaVars.hs:863: occuring ==> occurring
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive.hs:434: toWords ==> towards
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive.hs:435: toWords ==> towards
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive.hs:657: fromE ==> from
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive.hs:678: fromE ==> from
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:197: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:207: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:209: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:359: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:360: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:472: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:601: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:608: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:610: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:612: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:618: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:625: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:627: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:629: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:644: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:647: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:649: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:750: heterogenous ==> heterogeneous
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:862: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:868: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:1020: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:1095: unneccessary ==> unnecessary
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:1533: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:1646: assignE ==> assign, assigned
data/agda-2.6.1/src/full/Agda/TypeChecking/Conversion.hs:1971: conjuctions ==> conjunctions
data/agda-2.6.1/src/full/Agda/TypeChecking/Generalize.hs:310: subsitutes ==> substitutes
data/agda-2.6.1/src/full/Agda/TypeChecking/Generalize.hs:381: strenghten ==> strengthen
data/agda-2.6.1/src/full/Agda/TypeChecking/Generalize.hs:620: substition ==> substitution
data/agda-2.6.1/src/full/Agda/TypeChecking/Errors.hs:816: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Errors.hs:819: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Polarity.hs:258: occurences ==> occurrences
data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute.hs:329: larg ==> large
data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute.hs:330: larg ==> large
data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute.hs:331: larg ==> large
data/agda-2.6.1/src/full/Agda/TypeChecking/Telescope.hs:45: dependeny ==> dependency
data/agda-2.6.1/src/full/Agda/TypeChecking/Telescope.hs:283: unneccessary ==> unnecessary
data/agda-2.6.1/src/full/Agda/TypeChecking/Telescope.hs:360: satify ==> satisfy
data/agda-2.6.1/src/full/Agda/TypeChecking/Forcing.hs:46: intensional ==> intentional
data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce.hs:479: invokations ==> invocations
data/agda-2.6.1/src/full/Agda/TypeChecking/Free.hs:22: amoungst ==> amongst
data/agda-2.6.1/src/full/Agda/TypeChecking/Free.hs:313: occuring ==> occurring
data/agda-2.6.1/src/full/Agda/TypeChecking/InstanceArguments.hs:294: reseting ==> resetting
data/agda-2.6.1/src/full/Agda/TypeChecking/InstanceArguments.hs:356: vas ==> was
data/agda-2.6.1/src/full/Agda/TypeChecking/InstanceArguments.hs:358: vas ==> was
data/agda-2.6.1/src/full/Agda/TypeChecking/InstanceArguments.hs:359: vas ==> was
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Signature.hs:393: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Signature.hs:418: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Signature.hs:419: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Builtin.hs:594: constrants ==> constraints
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs:230: orignal ==> original
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs:1877: specifed ==> specified
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs:2664: contraints ==> constraints
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs:3196: pathes ==> paths
data/agda-2.6.1/src/full/Agda/TypeChecking/Monad/Base.hs:3319: relevane ==> relevant
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:151: Univeral ==> Universal
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:159: integerE ==> integer
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:367: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:368: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:371: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:381: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:383: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:422: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:423: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:426: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:436: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:445: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:445: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:454: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:463: VALU ==> VALUE
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:466: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Base.hs:467: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances.hs:19: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances.hs:20: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances.hs:22: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:78: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:79: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:80: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:81: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:82: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:83: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:84: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:85: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:86: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:87: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:88: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:89: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:90: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:91: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:92: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:93: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:94: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:95: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:96: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:97: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:98: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:99: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:100: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:101: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:102: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:103: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:104: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:105: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:106: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:107: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:108: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:230: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:231: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:232: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs:233: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:37: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:38: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:39: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:40: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:41: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:48: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:49: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:50: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:51: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:52: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:64: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:65: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:66: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:67: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:68: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:94: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:95: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:96: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:97: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:116: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:117: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:118: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:119: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:120: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:121: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:122: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:123: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:124: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:125: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:132: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:133: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:134: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:135: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:136: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:166: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:167: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:168: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:169: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:170: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:171: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:172: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:173: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:174: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:175: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:176: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:177: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:178: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:179: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:186: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:187: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:188: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:189: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:203: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:204: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:205: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:206: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:207: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:208: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:209: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:210: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:211: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:212: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:213: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs:214: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:42: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:43: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:44: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:45: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:62: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:63: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:64: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:65: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:66: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:82: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:83: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:84: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:85: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:103: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:104: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:105: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:106: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:107: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:108: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:109: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:110: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:111: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:112: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:113: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:114: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:132: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:133: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:136: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:137: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:153: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:154: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:155: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:156: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:157: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:158: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:159: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:160: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:161: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:162: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:185: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:186: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:187: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:188: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:189: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:190: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:191: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:213: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:214: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:215: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:216: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:217: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:218: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:219: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:236: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:237: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:238: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:239: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:240: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:241: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:242: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:243: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:244: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:257: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:258: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:259: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:260: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:261: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:262: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:313: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:314: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:315: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:316: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:346: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:347: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:348: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:349: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:364: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:365: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:366: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:367: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:368: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:369: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:370: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:371: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:372: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:378: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:379: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:380: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:381: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:388: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:389: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:390: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:391: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:392: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:398: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:399: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:400: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:401: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:408: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:409: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:410: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:411: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:412: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:429: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:430: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:431: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:432: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:433: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:439: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:440: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:441: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:442: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:451: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:452: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:453: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:454: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:455: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:456: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:457: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:490: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:491: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:492: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:493: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:494: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:495: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:496: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:497: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:498: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:499: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:500: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:511: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:512: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:513: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:514: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:515: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:516: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:517: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:518: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:519: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:525: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:526: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:527: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:528: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:538: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:539: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:540: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:541: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:542: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:543: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:544: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs:545: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:76: integerE ==> integer
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:84: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:85: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:86: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:107: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:107: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:112: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:113: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:114: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:130: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:131: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:132: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:133: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:139: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:140: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:141: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:142: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:152: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:153: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:154: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:155: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:232: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:232: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:233: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:234: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:285: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:286: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:287: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:293: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:294: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:295: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:296: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:302: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:303: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:304: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:305: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:311: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:312: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:313: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:314: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:320: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:321: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:322: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:323: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:329: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:330: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:331: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:332: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:339: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:340: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:341: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:342: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:343: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:349: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:350: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:351: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:352: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:370: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:371: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:372: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:373: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:374: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:375: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:443: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:444: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:445: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:446: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:452: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:453: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:454: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:455: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:578: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:579: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:580: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:581: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:614: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:615: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:616: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:617: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:618: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:619: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:620: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:621: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:622: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:628: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:629: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:630: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:631: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:637: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:638: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:639: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:640: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:647: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:648: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:649: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:650: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:651: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:662: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:663: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:664: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:665: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:30: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:31: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:32: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:33: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:34: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:35: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:36: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:37: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:38: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:39: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:40: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:41: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:42: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:43: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:57: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:58: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:59: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:60: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:61: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:62: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:63: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:64: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:65: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:66: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:67: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:68: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:86: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:87: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:88: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:89: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:90: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:91: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:92: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:93: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:94: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:95: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:96: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:97: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:98: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:99: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:100: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:101: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:122: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:123: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:124: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs:125: valu ==> value
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS.hs:936: splitted ==> split
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:271: arithmetics ==> arithmetic
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:695: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:696: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:699: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:785: wether ==> weather, whether
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:835: inital ==> initial
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1266: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1267: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1364: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1365: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1368: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1368: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1369: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1372: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1372: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1373: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1375: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1377: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1390: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1391: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1394: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1394: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1402: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1402: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1403: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Application.hs:1405: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:80: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:81: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:123: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:125: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:129: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:131: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:132: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:152: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:154: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:171: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:179: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:181: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:182: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:188: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:191: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:193: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:196: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:206: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:208: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:215: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:543: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin.hs:543: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:254: appling ==> applying, appalling
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:970: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:971: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:974: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:975: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:977: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Data.hs:978: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Term.hs:273: wether ==> weather, whether
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Term.hs:1092: Ambigous ==> Ambiguous
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Term.hs:1095: Ambigous ==> Ambiguous
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs:114: flatE ==> flat
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs:167: flatE ==> flat
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs:50: upto ==> up to
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Problem.hs:195: sitation ==> situation
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Problem.hs:240: splitted ==> split
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs:202: variabes ==> variables
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs:605: strat ==> start, strata
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs:605: strat ==> start, strata
data/agda-2.6.1/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs:1141: subtitution ==> substitution
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:130: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:131: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:201: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:203: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:268: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:269: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Coverage/Match.hs:270: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:151: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:152: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:153: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:154: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:156: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:158: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:159: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:199: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:200: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:201: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:202: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:204: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:205: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:206: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:211: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:213: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:214: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:221: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:225: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:226: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:228: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:239: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:240: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:241: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:242: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:268: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:286: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:303: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:305: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:306: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:306: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:309: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:319: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:327: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:328: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:329: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:330: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:334: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:339: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:347: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:348: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:349: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:350: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:351: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:354: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:359: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:368: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:370: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:370: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:379: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:381: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:382: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:382: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:426: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:427: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:430: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:432: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:438: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:439: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:440: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:441: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:450: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:479: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:481: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:486: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:489: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:491: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:491: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:505: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:510: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:515: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:525: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:527: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:530: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:542: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:553: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:564: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:567: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:595: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:610: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:610: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:614: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:615: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:617: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:623: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:624: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:625: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:627: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:631: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:635: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:664: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:666: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:671: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:674: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:676: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:676: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:689: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:694: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:699: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:709: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:711: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:714: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:726: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:737: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:748: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:751: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:772: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:789: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:789: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:794: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:795: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:797: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:802: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:802: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:804: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:806: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:807: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:821: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:844: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:844: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:848: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:850: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:856: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:856: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:857: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:862: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:862: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:863: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:866: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:866: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:880: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:885: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:896: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:899: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:917: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:926: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:929: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:944: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:945: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:949: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:950: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:951: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:952: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:956: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:985: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1008: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1009: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1011: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1013: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1016: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1017: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1019: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1020: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1080: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1099: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1112: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1125: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1125: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1128: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1131: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1137: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1139: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1152: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1153: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1156: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1158: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1161: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1162: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1166: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1166: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1168: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1170: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1213: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1215: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1215: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1216: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1216: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1218: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1218: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1219: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1219: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1221: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1223: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1226: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1228: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1232: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1388: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1390: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1391: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1391: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1413: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1414: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1417: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1418: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1420: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1421: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1437: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1439: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1440: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1445: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1449: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1460: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1461: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1462: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1471: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1486: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1490: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1492: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1497: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1498: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1501: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1503: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1505: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1506: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1508: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1551: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1555: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1577: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1583: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1590: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1592: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1601: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1603: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Primitive/Cubical.hs:1608: bA ==> by, be
data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs:514: indicies ==> indices
data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs:647: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs:650: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs:1025: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/Reduce/Fast.hs:1026: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Match.hs:81: subsitution ==> substitution
data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Match.hs:161: ths ==> the, this
data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Compile.hs:137: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Compile.hs:143: lits ==> list
data/agda-2.6.1/src/full/Agda/TypeChecking/CompiledClause/Compile.hs:327: orignal ==> original
data/agda-2.6.1/src/full/Agda/TypeChecking/Positivity/Occurrence.hs:136: positve ==> positive
data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/Solve.hs:324: contraint ==> constraint
data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs:725: weigths ==> weights
data/agda-2.6.1/src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs:959: substition ==> substitution
data/agda-2.6.1/src/full/Agda/TypeChecking/Free/Lazy.hs:489: absense ==> absence
data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute/Class.hs:37: applys ==> applies
data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute/Class.hs:38: applys ==> applies
data/agda-2.6.1/src/full/Agda/TypeChecking/Substitute/Class.hs:42: applys ==> applies
data/agda-2.6.1/src/full/Agda/TypeChecking/Patterns/Match.hs:85: successfull ==> successful
data/agda-2.6.1/src/full/Agda/Termination/CallGraph.hs:64: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Termination/TermCheck.hs:530: wether ==> weather, whether
data/agda-2.6.1/src/full/Agda/Termination/Order.hs:254: multplied ==> multiplied
data/agda-2.6.1/src/full/Agda/Termination/Monad.hs:364: usuable ==> usable
data/agda-2.6.1/src/full/Agda/Termination/Monad.hs:365: amoung ==> among
data/agda-2.6.1/src/full/Agda/Termination/Monad.hs:569: pathes ==> paths
data/agda-2.6.1/src/full/Agda/Termination/Monad.hs:575: lazyness ==> laziness
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:18: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:44: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:45: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:47: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:51: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:69: indeces ==> indices
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:71: indeces ==> indices
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:87: lenth ==> length
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:94: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:144: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:144: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:153: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:157: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:175: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:177: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:180: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:246: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:250: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:264: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:265: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:269: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:272: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:272: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:272: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:292: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:295: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:295: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:300: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:357: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:431: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:453: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:520: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:549: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:551: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:555: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:558: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:599: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:626: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:638: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:702: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:711: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:723: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:740: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:764: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:788: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Typecheck.hs:788: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:207: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:210: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:211: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:211: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:224: Instantation ==> Instantiation
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:283: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:284: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:320: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:321: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:336: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:343: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:346: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:346: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:347: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:347: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:347: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:348: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:349: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:351: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:355: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:355: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:355: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:368: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:369: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:369: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:418: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:418: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:455: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Syntax.hs:455: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Auto.hs:168: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Auto.hs:393: doesnt ==> doesn't, does not
data/agda-2.6.1/src/full/Agda/Auto/SearchControl.hs:143: lication ==> location
data/agda-2.6.1/src/full/Agda/Auto/SearchControl.hs:430: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/SearchControl.hs:430: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:157: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:158: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:428: ue ==> use, due
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:428: ue ==> use, due
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:560: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:562: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/CaseSplit.hs:628: Clos ==> Close
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:87: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:456: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:456: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:465: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:465: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:471: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:475: MOT ==> NOT
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:688: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:688: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:709: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:709: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:735: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:735: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:741: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:741: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:742: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Auto/Convert.hs:742: ot ==> to, of, or
data/agda-2.6.1/src/full/Agda/Syntax/Reflected.hs:38: LitS ==> list
data/agda-2.6.1/src/full/Agda/Syntax/Fixity.hs:47: Precendence ==> Precedence
data/agda-2.6.1/src/full/Agda/Syntax/Abstract.hs:1154: experessions ==> expressions
data/agda-2.6.1/src/full/Agda/Syntax/Internal.hs:600: orginates ==> originates
data/agda-2.6.1/src/full/Agda/Syntax/Common.hs:645: absense ==> absence
data/agda-2.6.1/src/full/Agda/Syntax/Common.hs:1094: continous ==> continuous
data/agda-2.6.1/src/full/Agda/Syntax/Common.hs:1419: intensional ==> intentional
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Pretty.hs:342: withH ==> with
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Pretty.hs:350: withH ==> with
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Operators.hs:269: thenn ==> then
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Operators.hs:736: occuring ==> occurring
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:123: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:124: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:124: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:125: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:126: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:126: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:127: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:128: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:129: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:129: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:131: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:132: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:132: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:133: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:133: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:138: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:139: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:139: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:140: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:140: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:141: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:142: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:143: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:145: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:146: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:147: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:148: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:149: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:153: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:156: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:157: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:171: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:171: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:172: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:173: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:178: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:179: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:183: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:183: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:184: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:202: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:202: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:204: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:208: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:208: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:209: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:209: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:211: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:211: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:211: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:211: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:212: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:212: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:213: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:213: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:214: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:214: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:214: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:215: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:215: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:216: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:216: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:217: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:217: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:217: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:221: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:222: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:223: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:224: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:225: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:226: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:227: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:228: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:231: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:232: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:232: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:233: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:234: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:236: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Generic.hs:242: mapE ==> map
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Definitions.hs:430: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Definitions.hs:431: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Definitions.hs:447: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Syntax/Concrete/Definitions.hs:448: nd ==> and, 2nd
data/agda-2.6.1/src/full/Agda/Syntax/Abstract/Name.hs:64: preceeded ==> preceded, proceeded
data/agda-2.6.1/src/full/Agda/Syntax/Scope/Base.hs:778: neet ==> need, neat
data/agda-2.6.1/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs:2404: typecheking ==> typechecking
data/agda-2.6.1/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs:2530: Ambigous ==> Ambiguous
data/agda-2.6.1/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs:2533: Ambigous ==> Ambiguous
data/agda-2.6.1/src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs:161: LitS ==> list
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:462: preceeding ==> preceding, proceeding
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:1395: hashs ==> hashes
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:1428: instantation ==> instantiation
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:1429: usefule ==> useful
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:2214: wth ==> with
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:2214: wth ==> with
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Parser.y:2387: emtpy ==> empty
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Comments.hs:3: incidently ==> incidentally
data/agda-2.6.1/src/full/Agda/Syntax/Parser/Monad.hs:86: informaton ==> information
data/agda-2.6.1/src/full/Agda/Compiler/ToTreeless.hs:276: lits ==> list
data/agda-2.6.1/src/full/Agda/Compiler/ToTreeless.hs:279: lits ==> list
data/agda-2.6.1/src/full/Agda/Compiler/CallCompiler.hs:39: merrors ==> mirrors
data/agda-2.6.1/src/full/Agda/Compiler/CallCompiler.hs:40: merrors ==> mirrors
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Subst.hs:136: Strenghtening ==> Strengthening
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Simplify.hs:472: aAdd ==> add
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Simplify.hs:473: aAdd ==> add
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/Simplify.hs:497: aAdd ==> add
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/NormalizeNames.hs:1: occurences ==> occurrences
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/NormalizeNames.hs:10: occurences ==> occurrences
data/agda-2.6.1/src/full/Agda/Compiler/Treeless/NormalizeNames.hs:13: transfomation ==> transformation
data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs:123: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs:125: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs:172: construtor ==> constructor
data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs:212: datas ==> data
data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs:212: datas ==> data
data/agda-2.6.1/src/full/Agda/Compiler/JS/Compiler.hs:215: datas ==> data
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs:162: hsA ==> has
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs:164: hsA ==> has
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs:140: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs:142: uptodate ==> up-to-date
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs:192: acutally ==> actually
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs:597: defAlt ==> default
data/agda-2.6.1/src/full/Agda/Compiler/MAlonzo/Compiler.hs:598: defAlt ==> default
data/agda-2.6.1/src/data/JS/biginteger.js:493: magnatude ==> magnitude
data/agda-2.6.1/src/data/JS/biginteger.js:509: magnatude ==> magnitude
data/agda-2.6.1/src/data/JS/biginteger.js:1342: javascipt ==> javascript
data/agda-2.6.1/src/data/JS/biginteger.js:1535: JavaScipt ==> javascript
data/agda-2.6.1/src/data/emacs-mode/eri.el:163: whe ==> when, we
data/agda-2.6.1/src/data/emacs-mode/agda-input.el:250: nin ==> inn, min, bin, nine
data/agda-2.6.1/src/data/emacs-mode/agda-input.el:475: bA ==> by, be
data/agda-2.6.1/src/data/emacs-mode/agda-input.el:504: ba ==> by, be
data/agda-2.6.1/src/data/emacs-mode/agda2-mode.el:646: uncomplete ==> incomplete
data/agda-2.6.1/src/data/emacs-mode/agda2-mode.el:864: maching ==> machine, marching, matching
data/agda-2.6.1/src/data/emacs-mode/agda2-mode.el:1291: currect ==> correct, current
data/agda-2.6.1/debian/changelog:72: te ==> the, be, we
data/agda-2.6.1/debian/changelog:230: requied ==> required
data/agda-2.6.1/debian/changelog:265: Suppoert ==> Support
data/agda-2.6.1/debian/changelog:266: accidently ==> accidentally
data/agda-2.6.1/debian/changelog:266: commited ==> committed
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:172: pathes ==> paths
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:211: pathes ==> paths
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:215: Pathes ==> Paths
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:302: als ==> also
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:308: als ==> also
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:319: pathes ==> paths
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:322: pathes ==> paths
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:326: pathes ==> paths
data/agda-2.6.1/.pc/var-lib-agda/src/full/Agda/Interaction/Library.hs:327: pathes ==> paths