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

drwxr-xr-x		..
-rw-r--r--	9800	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	13084	Extraction.v	blob \| history \| raw
-rw-r--r--	23288	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--	14459	HaskProof.v	blob \| history \| raw
-rw-r--r--	9154	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	25995	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	6799	HaskStrong.v	blob \| history \| raw
-rw-r--r--	29668	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	13353	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--	22044	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	5120	NaturalDeductionToLatex.v	blob \| history \| raw
-rw-r--r--	8608	Preamble.v	blob \| history \| raw