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

drwxr-xr-x		..
-rw-r--r--	8623	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	5454	Extraction.v	blob \| history \| raw
-rw-r--r--	19921	General.v	blob \| history \| raw
-rw-r--r--	2119	HaskCore.v	blob \| history \| raw
-rw-r--r--	14102	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--	14205	HaskProof.v	blob \| history \| raw
-rw-r--r--	9102	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	6118	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	5056	HaskStrong.v	blob \| history \| raw
-rw-r--r--	29379	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	8599	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	30478	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	2931	HaskWeak.v	blob \| history \| raw
-rw-r--r--	8365	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	28114	HaskWeakToStrong.v	blob \| history \| raw
-rw-r--r--	5248	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--	8560	Preamble.v	blob \| history \| raw