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

drwxr-xr-x		..
-rw-r--r--	5341	Extraction-prefix.hs	blob \| history \| raw
-rw-r--r--	5846	Extraction.v	blob \| history \| raw
-rw-r--r--	19921	General.v	blob \| history \| raw
-rw-r--r--	2299	HaskCore.v	blob \| history \| raw
-rw-r--r--	4936	HaskCoreLiterals.v	blob \| history \| raw
-rw-r--r--	11513	HaskCoreToWeak.v	blob \| history \| raw
-rw-r--r--	5488	HaskCoreTypes.v	blob \| history \| raw
-rw-r--r--	1181	HaskCoreVars.v	blob \| history \| raw
-rw-r--r--	2890	HaskKinds.v	blob \| history \| raw
-rw-r--r--	14157	HaskProof.v	blob \| history \| raw
-rw-r--r--	9089	HaskProofToLatex.v	blob \| history \| raw
-rw-r--r--	6118	HaskProofToStrong.v	blob \| history \| raw
-rw-r--r--	5051	HaskStrong.v	blob \| history \| raw
-rw-r--r--	29724	HaskStrongToProof.v	blob \| history \| raw
-rw-r--r--	8202	HaskStrongToWeak.v	blob \| history \| raw
-rw-r--r--	30470	HaskStrongTypes.v	blob \| history \| raw
-rw-r--r--	7959	HaskWeak.v	blob \| history \| raw
-rw-r--r--	5731	HaskWeakToCore.v	blob \| history \| raw
-rw-r--r--	25926	HaskWeakToStrong.v	blob \| history \| raw
-rw-r--r--	6959	HaskWeakTypes.v	blob \| history \| raw
-rw-r--r--	4214	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