git.megacz.com Git - coq-hetmet.git/tree

drwxr-xr-x		..
-rw-r--r--	2253	All.v	blob \| history \| raw
-rw-r--r--	1336	Banner.v	blob \| history \| raw
-rw-r--r--	10081	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	632	Extraction.v	blob \| history \| raw
-rw-r--r--	13536	ExtractionMain.v	blob \| history \| raw
-rw-r--r--	29904	General.v	blob \| history \| raw
-rw-r--r--	1880	GeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	4682	GeneralizedArrowCategory.v	blob \| history \| raw
-rw-r--r--	5741	GeneralizedArrowFromReification.v	blob \| history \| raw
-rw-r--r--	2119	HaskCore.v	blob \| history \| raw
-rw-r--r--	13876	HaskCoreToWeak.v	blob \| history \| raw
-rw-r--r--	4366	HaskCoreTypes.v	blob \| history \| raw
-rw-r--r--	1881	HaskCoreVars.v	blob \| history \| raw
-rw-r--r--	3819	HaskKinds.v	blob \| history \| raw
-rw-r--r--	6122	HaskLiteralsAndTyCons.v	blob \| history \| raw
-rw-r--r--	14816	HaskProof.v	blob \| history \| raw
-rw-r--r--	27601	HaskProofCategory.v	blob \| history \| raw
-rw-r--r--	10002	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	28048	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	6862	HaskStrong.v	blob \| history \| raw
-rw-r--r--	4511	HaskStrongCategory.v	blob \| history \| raw
-rw-r--r--	33356	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	13457	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	30385	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	2931	HaskWeak.v	blob \| history \| raw
-rw-r--r--	8165	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	32620	HaskWeakToStrong.v	blob \| history \| raw
-rw-r--r--	5201	HaskWeakTypes.v	blob \| history \| raw
-rw-r--r--	2559	HaskWeakVars.v	blob \| history \| raw
-rw-r--r--	25969	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	9365	NaturalDeductionCategory.v	blob \| history \| raw
-rw-r--r--	5340	NaturalDeductionToLatex.v	blob \| history \| raw
-rw-r--r--	8609	Preamble.v	blob \| history \| raw
-rw-r--r--	8540	ProgrammingLanguage.v	blob \| history \| raw
-rw-r--r--	2612	Reification.v	blob \| history \| raw
-rw-r--r--	5499	ReificationCategory.v	blob \| history \| raw
-rw-r--r--	1899	ReificationFromGeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	4214	ReificationsEquivalentToGeneralizedArrows.v	blob \| history \| raw
-rw-r--r--	10472	ReificationsIsomorphicToGeneralizedArrows.v	blob \| history \| raw
-rw-r--r--	1584	SmallSMMEs.v	blob \| history \| raw
-rw-r--r--	5124	WeakFunctorCategory.v	blob \| history \| raw
m---------	-	categories	history