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

drwxr-xr-x		..
-rw-r--r--	4441	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	5221	Extraction.v	blob \| history \| raw
-rw-r--r--	18132	General.v	blob \| history \| raw
-rw-r--r--	2299	HaskCore.v	blob \| history \| raw
-rw-r--r--	4844	HaskCoreLiterals.v	blob \| history \| raw
-rw-r--r--	11326	HaskCoreToWeak.v	blob \| history \| raw
-rw-r--r--	5060	HaskCoreTypes.v	blob \| history \| raw
-rw-r--r--	1020	HaskCoreVars.v	blob \| history \| raw
-rw-r--r--	2180	HaskKinds.v	blob \| history \| raw
-rw-r--r--	14172	HaskProof.v	blob \| history \| raw
-rw-r--r--	8950	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	4975	HaskStrong.v	blob \| history \| raw
-rw-r--r--	28612	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	25955	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	8007	HaskWeak.v	blob \| history \| raw
-rw-r--r--	5877	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	27648	HaskWeakToStrong.v	blob \| history \| raw
-rw-r--r--	6634	HaskWeakTypes.v	blob \| history \| raw
-rw-r--r--	3301	HaskWeakVars.v	blob \| history \| raw
-rw-r--r--	21682	NaturalDeduction.v	blob \| history \| raw
-rw-r--r--	5199	NaturalDeductionToLatex.v	blob \| history \| raw
-rw-r--r--	8541	Preamble.v	blob \| history \| raw