HaskProofCategory: more work
[coq-hetmet.git] / src /
drwxr-xr-x   ..
-rw-r--r-- 2253 All.v
-rw-r--r-- 1336 Banner.v
-rw-r--r-- 10081 Extraction-prefix.hs
-rw-r--r-- 632 Extraction.v
-rw-r--r-- 13536 ExtractionMain.v
-rw-r--r-- 29904 General.v
-rw-r--r-- 1880 GeneralizedArrow.v
-rw-r--r-- 4682 GeneralizedArrowCategory.v
-rw-r--r-- 5768 GeneralizedArrowFromReification.v
-rw-r--r-- 2119 HaskCore.v
-rw-r--r-- 13876 HaskCoreToWeak.v
-rw-r--r-- 4366 HaskCoreTypes.v
-rw-r--r-- 1881 HaskCoreVars.v
-rw-r--r-- 3819 HaskKinds.v
-rw-r--r-- 6122 HaskLiteralsAndTyCons.v
-rw-r--r-- 10607 HaskProof.v
-rw-r--r-- 33184 HaskProofCategory.v
-rw-r--r-- 10082 HaskProofToLatex.v
-rw-r--r-- 26430 HaskProofToStrong.v
-rw-r--r-- 6862 HaskStrong.v
-rw-r--r-- 4511 HaskStrongCategory.v
-rw-r--r-- 31589 HaskStrongToProof.v
-rw-r--r-- 13457 HaskStrongToWeak.v
-rw-r--r-- 30385 HaskStrongTypes.v
-rw-r--r-- 2931 HaskWeak.v
-rw-r--r-- 8165 HaskWeakToCore.v
-rw-r--r-- 32620 HaskWeakToStrong.v
-rw-r--r-- 5201 HaskWeakTypes.v
-rw-r--r-- 2559 HaskWeakVars.v
-rw-r--r-- 26900 NaturalDeduction.v
-rw-r--r-- 9365 NaturalDeductionCategory.v
-rw-r--r-- 5276 NaturalDeductionToLatex.v
-rw-r--r-- 8609 Preamble.v
-rw-r--r-- 9414 ProgrammingLanguage.v
-rw-r--r-- 2612 Reification.v
-rw-r--r-- 5499 ReificationCategory.v
-rw-r--r-- 1899 ReificationFromGeneralizedArrow.v
-rw-r--r-- 4214 ReificationsEquivalentToGeneralizedArrows.v
-rw-r--r-- 10472 ReificationsIsomorphicToGeneralizedArrows.v
-rw-r--r-- 1584 SmallSMMEs.v
-rw-r--r-- 5124 WeakFunctorCategory.v
m--------- - categories