![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| All.v.pdf | 20-Apr-2011 12:09 | 11K | |
| Banner.v.pdf | 20-Apr-2011 12:09 | 19K | |
| BijectionLemma.v.pdf | 20-Apr-2011 12:09 | 22K | |
| Enrichments.v.pdf | 20-Apr-2011 12:09 | 23K | |
| Extraction.v.pdf | 20-Apr-2011 12:09 | 13K | |
| ExtractionMain.v.pdf | 20-Apr-2011 12:09 | 39K | |
| General.v.pdf | 20-Apr-2011 12:09 | 50K | |
| GeneralizedArrow.v.pdf | 20-Apr-2011 12:09 | 18K | |
| GeneralizedArrowCate..> | 20-Apr-2011 12:09 | 23K | |
| GeneralizedArrowFrom..> | 20-Apr-2011 12:09 | 60K | |
| HaskCore.v.pdf | 20-Apr-2011 12:09 | 19K | |
| HaskCoreToWeak.v.pdf | 20-Apr-2011 12:09 | 27K | |
| HaskCoreTypes.v.pdf | 20-Apr-2011 12:09 | 19K | |
| HaskCoreVars.v.pdf | 20-Apr-2011 12:09 | 18K | |
| HaskKinds.v.pdf | 20-Apr-2011 12:09 | 24K | |
| HaskLiteralsAndTyCon..> | 20-Apr-2011 12:09 | 23K | |
| HaskProof.v.pdf | 20-Apr-2011 12:09 | 39K | |
| HaskProofFlattener.v..> | 20-Apr-2011 12:09 | 45K | |
| HaskProofStratified...> | 20-Apr-2011 12:09 | 50K | |
| HaskProofToLatex.v.pdf | 20-Apr-2011 12:09 | 36K | |
| HaskProofToStrong.v.pdf | 20-Apr-2011 12:09 | 56K | |
| HaskStrong.v.pdf | 20-Apr-2011 12:09 | 37K | |
| HaskStrongToProof.v.pdf | 20-Apr-2011 12:09 | 58K | |
| HaskStrongTypes.v.pdf | 20-Apr-2011 12:09 | 61K | |
| HaskWeak.v.pdf | 20-Apr-2011 12:09 | 18K | |
| HaskWeakToCore.v.pdf | 20-Apr-2011 12:09 | 23K | |
| HaskWeakToStrong.v.pdf | 20-Apr-2011 12:09 | 55K | |
| HaskWeakTypes.v.pdf | 20-Apr-2011 12:09 | 26K | |
| HaskWeakVars.v.pdf | 20-Apr-2011 12:09 | 19K | |
| NaturalDeduction.v.pdf | 20-Apr-2011 12:09 | 53K | |
| NaturalDeductionCate..> | 20-Apr-2011 12:09 | 31K | |
| Preamble.v.pdf | 20-Apr-2011 12:09 | 34K | |
| ProgrammingLanguage...> | 20-Apr-2011 12:09 | 30K | |
| ProgrammingLanguageA..> | 20-Apr-2011 12:09 | 21K | |
| ProgrammingLanguageF..> | 20-Apr-2011 12:09 | 22K | |
| ProgrammingLanguageG..> | 20-Apr-2011 12:09 | 16K | |
| ProgrammingLanguageR..> | 20-Apr-2011 12:09 | 21K | |
| Reification.v.pdf | 20-Apr-2011 12:09 | 23K | |
| ReificationCategory...> | 20-Apr-2011 12:09 | 24K | |
| ReificationFromGener..> | 20-Apr-2011 12:09 | 19K | |
| ReificationsAndGener..> | 20-Apr-2011 12:09 | 24K | |
| ReificationsIsomorph..> | 20-Apr-2011 12:09 | 33K | |
| WeakFunctorCategory...> | 20-Apr-2011 12:09 | 23K | |