• Home
  • History
  • Annotate
Name Date Size #Lines LOC

..03-May-2022-

Arith.hsH A D09-Sep-20014.4 KiB14665

BadTelescope.hsH A D09-Sep-2001147 104

BadTelescope2.hsH A D09-Sep-2001287 158

BadTelescope3.hsH A D09-Sep-2001159 104

BadTelescope4.hsH A D09-Sep-2001382 146

Boot1.hsH A D09-Sep-200195 83

ConDeclEmptyCtx.hsH A D09-Sep-200155 42

Dep3.hsH A D09-Sep-2001457 2715

GADT.hsH A D09-Sep-2001485 2314

HashTab.hsH A D09-Sep-200111.3 KiB342181

KindEqualities2.hsH A D09-Sep-20011.1 KiB4428

LiftedConstructors.hsH A D09-Sep-2001756 2614

Parser.hsH A D09-Sep-20015.1 KiB167111

RAE_T32a.hsH A D09-Sep-20011.2 KiB3625

RAE_T32b.hsH A D09-Sep-2001936 2415

Rae31.hsH A D09-Sep-2001901 2518

RaeBlogPost.hsH A D09-Sep-20011.5 KiB6445

RenamingStar.hsH A D09-Sep-200173 62

ST.hsH A D09-Sep-20011.8 KiB6342

SlidingTypeSyn.hsH A D09-Sep-2001409 153

T10134a.hsH A D09-Sep-2001252 125

T10279.hsH A D09-Sep-2001507 134

T10321.hsH A D09-Sep-2001280 156

T10638.hsH A D09-Sep-20011 KiB3418

T10689a.hsH A D09-Sep-20014.1 KiB11679

T10819.hsH A D09-Sep-2001479 2914

T10891.hsH A D09-Sep-2001631 4229

T10934.hsH A D09-Sep-2001977 3919

T11142.hsH A D09-Sep-2001186 115

T11484.hsH A D09-Sep-2001181 124

T12478_5.hsH A D09-Sep-2001694 1912

T14164.hsH A D09-Sep-2001304 125

T14650.hsH A D09-Sep-20012.5 KiB7865

T2632.hsH A D09-Sep-2001227 167

T3263-2.hsH A D09-Sep-2001664 4023

T3391.hsH A D09-Sep-2001266 164

T3572.hsH A D09-Sep-2001211 134

T3927b.hsH A D09-Sep-20012.2 KiB7749

T4056.hsH A D09-Sep-2001303 1811

T4169.hsH A D09-Sep-2001237 169

T4170.hsH A D09-Sep-2001166 158

T5217.hsH A D09-Sep-2001295 126

T6018th.hsH A D09-Sep-20014.2 KiB12285

T6062.hsH A D09-Sep-200174 52

T8455.hsH A D09-Sep-200196 82

T8759a.hsH A D09-Sep-2001120 82

T8807.hsH A D09-Sep-2001243 124

T9367.hsH A D09-Sep-2001112 62

T9632.hsH A D09-Sep-2001137 126

T9662.hsH A D09-Sep-20011.1 KiB5532

T9824.hsH A D09-Sep-2001117 82

TH_abstractFamily.hsH A D09-Sep-2001294 146

TH_bracket1.hsH A D09-Sep-2001200 103

TH_bracket2.hsH A D09-Sep-2001164 115

TH_bracket3.hsH A D09-Sep-2001280 136

TH_class1.hsH A D09-Sep-2001219 104

TH_dataD1.hsH A D09-Sep-2001268 138

TH_localname.hsH A D09-Sep-200179 62

TH_lookupName.hsH A D09-Sep-20011.1 KiB3823

TH_ppr1.hsH A D09-Sep-2001861 3927

TH_raiseErr1.hsH A D09-Sep-2001148 73

TH_recover.hsH A D09-Sep-2001294 145

TH_reifyDecl1.hsH A D09-Sep-20011.6 KiB8952

TH_reifyDecl2.hsH A D09-Sep-2001199 138

TH_reifyInstances.hsH A D09-Sep-20011.1 KiB5234

TH_reifyMkName.hsH A D09-Sep-2001209 179

TH_repE1.hsH A D09-Sep-2001546 3319

TH_repE2.hsH A D09-Sep-2001809 3823

TH_repE3.hsH A D09-Sep-2001351 2111

TH_repGuard.hsH A D09-Sep-2001637 3629

TH_repGuardOutput.hsH A D09-Sep-2001483 3123

TH_repPatSig.hsH A D09-Sep-2001358 2010

TH_repPatSigTVar.hsH A D09-Sep-2001224 146

TH_repPrim.hsH A D09-Sep-20011.3 KiB3527

TH_repPrim2.hsH A D09-Sep-20011.4 KiB3527

TH_repPrimOutput.hsH A D09-Sep-2001638 2416

TH_repPrimOutput2.hsH A D09-Sep-2001689 2416

TH_scope.hsH A D09-Sep-2001154 115

TH_sections.hsH A D09-Sep-2001161 125

TH_spliceD2.hsH A D09-Sep-2001135 83

TH_spliceDecl1.hsH A D09-Sep-2001253 134

TH_spliceDecl2.hsH A D09-Sep-2001250 145

TH_spliceDecl3.hsH A D09-Sep-2001230 146

TH_spliceE1.hsH A D09-Sep-2001122 94

TH_spliceE3.hsH A D09-Sep-2001574 2715

TH_spliceE4.hsH A D09-Sep-2001196 147

TH_spliceE5_Lib.hsH A D09-Sep-2001214 116

TH_spliceE5_prof_Lib.hsH A D09-Sep-2001219 116

TH_spliceE5_prof_ext_Lib.hsH A D09-Sep-2001223 116

TH_spliceExpr1.hsH A D09-Sep-2001214 125

TH_tf1.hsH A D09-Sep-2001446 2413

TH_tf3.hsH A D09-Sep-2001308 146

TH_unresolvedInfix.hsH A D09-Sep-20015.1 KiB14397

TH_unresolvedInfix2.hsH A D09-Sep-2001306 1910

TensorTests.hsH A D09-Sep-20011 KiB4225

Test.hsH A D09-Sep-20019.2 KiB411110

Test12417.hsH A D09-Sep-2001483 2111

TupleN.hsH A D09-Sep-2001354 129

UnicodeSyntax.hsH A D09-Sep-20015.7 KiB244165

Webhook.hsH A D09-Sep-20016.6 KiB17754

deriving-via-compile.hsH A D09-Sep-200111.9 KiB461275

determ004.hsH A D09-Sep-200113.4 KiB31279

dynamic-paper.hsH A D09-Sep-20019.6 KiB342233

dynbrk005.hsH A D09-Sep-200196 73

empty-foralls.hsH A D09-Sep-2001177 93

ffi1.hsH A D09-Sep-2001392 135

ghci006.hsH A D09-Sep-2001212 103

haddockA026.hsH A D09-Sep-2001235 115

haddockA027.hsH A D09-Sep-2001260 126

haddockA031.hsH A D09-Sep-2001159 95

haddockC026.hsH A D09-Sep-2001235 115

haddockC027.hsH A D09-Sep-2001675 266

haddockC031.hsH A D09-Sep-2001159 95

mdo.hsH A D09-Sep-20011.1 KiB4131

mkGADTVars.hsH A D09-Sep-2001193 105

overloadedrecflds_generics.hsH A D09-Sep-20011.8 KiB5123