projects / coq-hetmet.git / tree
| -rw-r--r-- | 2977 | Extraction-prefix.hs | blob | raw |
| -rw-r--r-- | 2200 | Extraction.v | blob | raw |
| -rw-r--r-- | 17246 | General.v | blob | raw |
| -rw-r--r-- | 3578 | HaskCore.v | blob | raw |
| -rw-r--r-- | 5080 | HaskCoreToWeak.v | blob | raw |
| -rw-r--r-- | 3465 | HaskCoreTypes.v | blob | raw |
| -rw-r--r-- | 1088 | HaskCoreVars.v | blob | raw |
| -rw-r--r-- | 4504 | HaskGeneral.v | blob | raw |
| -rw-r--r-- | 4874 | HaskLiterals.v | blob | raw |
| -rw-r--r-- | 10287 | HaskProof.v | blob | raw |
| -rw-r--r-- | 9093 | HaskProofToLatex.v | blob | raw |
| -rw-r--r-- | 4627 | HaskStrong.v | blob | raw |
| -rw-r--r-- | 23912 | HaskStrongTypes.v | blob | raw |
| -rw-r--r-- | 10407 | HaskWeak.v | blob | raw |
| -rw-r--r-- | 514 | Main.v | blob | raw |
| -rw-r--r-- | 21682 | NaturalDeduction.v | blob | raw |
| -rw-r--r-- | 5199 | NaturalDeductionToLatex.v | blob | raw |
| -rw-r--r-- | 8542 | Preamble.v | blob | raw |