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

drwxr-xr-x		..
-rw-r--r--	9800	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	13990	Extraction.v	blob \| history \| raw
-rw-r--r--	25918	General.v	blob \| history \| raw
-rw-r--r--	1859	GeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	1102	GeneralizedArrowCategory.v	blob \| history \| raw
-rw-r--r--	5131	GeneralizedArrowFromReification.v	blob \| history \| raw
-rw-r--r--	2119	HaskCore.v	blob \| history \| raw
-rw-r--r--	14083	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--	3112	HaskKinds.v	blob \| history \| raw
-rw-r--r--	5728	HaskLiteralsAndTyCons.v	blob \| history \| raw
-rw-r--r--	14532	HaskProof.v	blob \| history \| raw
-rw-r--r--	13890	HaskProofCategory.v	blob \| history \| raw
-rw-r--r--	9154	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	28319	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	6775	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--	13448	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	30951	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	2931	HaskWeak.v	blob \| history \| raw
-rw-r--r--	8375	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	32379	HaskWeakToStrong.v	blob \| history \| raw
-rw-r--r--	5201	HaskWeakTypes.v	blob \| history \| raw
-rw-r--r--	2567	HaskWeakVars.v	blob \| history \| raw
-rw-r--r--	22440	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	9036	NaturalDeductionCategory.v	blob \| history \| raw
-rw-r--r--	5120	NaturalDeductionToLatex.v	blob \| history \| raw
-rw-r--r--	8608	Preamble.v	blob \| history \| raw
-rw-r--r--	35776	ProgrammingLanguage.v	blob \| history \| raw
-rw-r--r--	2616	Reification.v	blob \| history \| raw
-rw-r--r--	1102	ReificationCategory.v	blob \| history \| raw
-rw-r--r--	1903	ReificationFromGeneralizedArrow.v	blob \| history \| raw
-rw-r--r--	4220	ReificationsEquivalentToGeneralizedArrows.v	blob \| history \| raw
m---------	-	categories	history