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

drwxr-xr-x		..
-rw-r--r--	314	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--	5255	Enrichments.v	blob \| history \| raw
-rw-r--r--	6928	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	632	Extraction.v	blob \| history \| raw
-rw-r--r--	25050	ExtractionMain.v	blob \| history \| raw
-rw-r--r--	34680	General.v	blob \| history \| raw
-rw-r--r--	2375	GeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	4544	GeneralizedArrowCategory.v	blob \| history \| raw
-rw-r--r--	43172	GeneralizedArrowFromReification.v	blob \| history \| raw
-rw-r--r--	2225	HaskCore.v	blob \| history \| raw
-rw-r--r--	17286	HaskCoreToWeak.v	blob \| history \| raw
-rw-r--r--	5863	HaskCoreTypes.v	blob \| history \| raw
-rw-r--r--	1899	HaskCoreVars.v	blob \| history \| raw
-rw-r--r--	52489	HaskFlattener.v	blob \| history \| raw
-rw-r--r--	3887	HaskKinds.v	blob \| history \| raw
-rw-r--r--	4463	HaskLiterals.v	blob \| history \| raw
-rw-r--r--	6265	HaskProgrammingLanguage.v	blob \| history \| raw
-rw-r--r--	10768	HaskProof.v	blob \| history \| raw
-rw-r--r--	10223	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	32797	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	20158	HaskSkolemizer.v	blob \| history \| raw
-rw-r--r--	6862	HaskStrong.v	blob \| history \| raw
-rw-r--r--	41765	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	13676	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	35040	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	2470	HaskTyCons.v	blob \| history \| raw
-rw-r--r--	6539	HaskWeak.v	blob \| history \| raw
-rw-r--r--	7697	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	33743	HaskWeakToStrong.v	blob \| history \| raw
-rw-r--r--	5242	HaskWeakTypes.v	blob \| history \| raw
-rw-r--r--	2532	HaskWeakVars.v	blob \| history \| raw
-rw-r--r--	39582	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	9494	NaturalDeductionCategory.v	blob \| history \| raw
-rw-r--r--	9377	NaturalDeductionContext.v	blob \| history \| raw
-rw-r--r--	11349	PCF.v	blob \| history \| raw
-rw-r--r--	3911	Preamble.v	blob \| history \| raw
-rw-r--r--	2630	ProgrammingLanguage.v	blob \| history \| raw
-rw-r--r--	3163	ProgrammingLanguageArrow.v	blob \| history \| raw
-rw-r--r--	22542	ProgrammingLanguageCategory.v	blob \| history \| raw
-rw-r--r--	2257	ProgrammingLanguageEnrichment.v	blob \| history \| raw
-rw-r--r--	3714	ProgrammingLanguageFlattening.v	blob \| history \| raw
-rw-r--r--	2087	ProgrammingLanguageGeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	3000	ProgrammingLanguageReification.v	blob \| history \| raw
-rw-r--r--	3044	Reification.v	blob \| history \| raw
-rw-r--r--	5583	ReificationCategory.v	blob \| history \| raw
-rw-r--r--	1997	ReificationFromGeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	6499	ReificationsAndGeneralizedArrows.v	blob \| history \| raw
-rw-r--r--	13222	ReificationsIsomorphicToGeneralizedArrows.v	blob \| history \| raw
-rw-r--r--	5038	WeakFunctorCategory.v	blob \| history \| raw
m---------	-	categories	history