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

drwxr-xr-x		..
-rw-r--r--	9289	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	8994	Extraction.v	blob \| history \| raw
-rw-r--r--	20269	General.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--	14452	HaskProof.v	blob \| history \| raw
-rw-r--r--	9154	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	9936	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	5301	HaskStrong.v	blob \| history \| raw
-rw-r--r--	29668	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	14743	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	30477	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--	31951	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--	21682	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	5120	NaturalDeductionToLatex.v	blob \| history \| raw
-rw-r--r--	8608	Preamble.v	blob \| history \| raw