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

drwxr-xr-x		..
-rw-r--r--	2244	All.v	blob \| history \| raw
-rw-r--r--	1336	Banner.v	blob \| history \| raw
-rw-r--r--	2914	BijectionLemma.v	blob \| history \| raw
-rw-r--r--	5332	Enrichments.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--	11647	ExtractionMain.v	blob \| history \| raw
-rw-r--r--	29904	General.v	blob \| history \| raw
-rw-r--r--	2263	GeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	4506	GeneralizedArrowCategory.v	blob \| history \| raw
-rw-r--r--	19732	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--	3785	HaskKinds.v	blob \| history \| raw
-rw-r--r--	6156	HaskLiteralsAndTyCons.v	blob \| history \| raw
-rw-r--r--	10592	HaskProof.v	blob \| history \| raw
-rw-r--r--	14389	HaskProofFlattener.v	blob \| history \| raw
-rw-r--r--	21205	HaskProofStratified.v	blob \| history \| raw
-rw-r--r--	10000	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	26385	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	6792	HaskStrong.v	blob \| history \| raw
-rw-r--r--	30965	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	13458	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	29970	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--	32569	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--	39628	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	9481	NaturalDeductionCategory.v	blob \| history \| raw
-rw-r--r--	3911	Preamble.v	blob \| history \| raw
-rw-r--r--	10700	ProgrammingLanguage.v	blob \| history \| raw
-rw-r--r--	3209	ProgrammingLanguageArrow.v	blob \| history \| raw
-rw-r--r--	2703	ProgrammingLanguageFlattening.v	blob \| history \| raw
-rw-r--r--	2035	ProgrammingLanguageGeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	2115	ProgrammingLanguageReification.v	blob \| history \| raw
-rw-r--r--	2680	Reification.v	blob \| history \| raw
-rw-r--r--	5536	ReificationCategory.v	blob \| history \| raw
-rw-r--r--	1960	ReificationFromGeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	6500	ReificationsAndGeneralizedArrows.v	blob \| history \| raw
-rw-r--r--	11541	ReificationsIsomorphicToGeneralizedArrows.v	blob \| history \| raw
-rw-r--r--	5038	WeakFunctorCategory.v	blob \| history \| raw
m---------	-	categories	history