Index of /berkeley/coq-in-ghc/pdfs

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]All.v.pdf20-Apr-2011 12:09 11K 
[ ]Banner.v.pdf20-Apr-2011 12:09 19K 
[ ]BijectionLemma.v.pdf20-Apr-2011 12:09 22K 
[ ]Enrichments.v.pdf20-Apr-2011 12:09 23K 
[ ]Extraction.v.pdf20-Apr-2011 12:09 13K 
[ ]ExtractionMain.v.pdf20-Apr-2011 12:09 39K 
[ ]General.v.pdf20-Apr-2011 12:09 50K 
[ ]GeneralizedArrow.v.pdf20-Apr-2011 12:09 18K 
[ ]GeneralizedArrowCategory.v.pdf20-Apr-2011 12:09 23K 
[ ]GeneralizedArrowFromReification.v.pdf20-Apr-2011 12:09 60K 
[ ]HaskCore.v.pdf20-Apr-2011 12:09 19K 
[ ]HaskCoreToWeak.v.pdf20-Apr-2011 12:09 27K 
[ ]HaskCoreTypes.v.pdf20-Apr-2011 12:09 19K 
[ ]HaskCoreVars.v.pdf20-Apr-2011 12:09 18K 
[ ]HaskKinds.v.pdf20-Apr-2011 12:09 24K 
[ ]HaskLiteralsAndTyCons.v.pdf20-Apr-2011 12:09 23K 
[ ]HaskProof.v.pdf20-Apr-2011 12:09 39K 
[ ]HaskProofFlattener.v.pdf20-Apr-2011 12:09 45K 
[ ]HaskProofStratified.v.pdf20-Apr-2011 12:09 50K 
[ ]HaskProofToLatex.v.pdf20-Apr-2011 12:09 36K 
[ ]HaskProofToStrong.v.pdf20-Apr-2011 12:09 56K 
[ ]HaskStrong.v.pdf20-Apr-2011 12:09 37K 
[ ]HaskStrongToProof.v.pdf20-Apr-2011 12:09 58K 
[ ]HaskStrongTypes.v.pdf20-Apr-2011 12:09 61K 
[ ]HaskWeak.v.pdf20-Apr-2011 12:09 18K 
[ ]HaskWeakToCore.v.pdf20-Apr-2011 12:09 23K 
[ ]HaskWeakToStrong.v.pdf20-Apr-2011 12:09 55K 
[ ]HaskWeakTypes.v.pdf20-Apr-2011 12:09 26K 
[ ]HaskWeakVars.v.pdf20-Apr-2011 12:09 19K 
[ ]NaturalDeduction.v.pdf20-Apr-2011 12:09 53K 
[ ]NaturalDeductionCategory.v.pdf20-Apr-2011 12:09 31K 
[ ]Preamble.v.pdf20-Apr-2011 12:09 34K 
[ ]ProgrammingLanguage.v.pdf20-Apr-2011 12:09 30K 
[ ]ProgrammingLanguageArrow.v.pdf20-Apr-2011 12:09 21K 
[ ]ProgrammingLanguageFlattening.v.pdf20-Apr-2011 12:09 22K 
[ ]ProgrammingLanguageGeneralizedArrow.v.pdf20-Apr-2011 12:09 16K 
[ ]ProgrammingLanguageReification.v.pdf20-Apr-2011 12:09 21K 
[ ]Reification.v.pdf20-Apr-2011 12:09 23K 
[ ]ReificationCategory.v.pdf20-Apr-2011 12:09 24K 
[ ]ReificationFromGeneralizedArrow.v.pdf20-Apr-2011 12:09 19K 
[ ]ReificationsAndGeneralizedArrows.v.pdf20-Apr-2011 12:09 24K 
[ ]ReificationsIsomorphicToGeneralizedArrows.v.pdf20-Apr-2011 12:09 33K 
[ ]WeakFunctorCategory.v.pdf20-Apr-2011 12:09 23K 
Apache/2.2.22 (Debian) mod_auth_kerb/5.4 Server at megacz.com Port 80