projects / coq-hetmet.git / search
| 2011-03-07 | Adam Megacz | separate type/coer/expr variables in HaskWeak case... |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | store variables in ELetRecBindings rather than its... |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | add HaskWeakToCore |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | add proper proofs of the fact that every rule has exactly... |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | Changed WEBrak/WEEsc to store a CoreType |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | Added WeakVar, a separate variable representation for... |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | added "publish" target to regenerate tex/pdf code |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | added HaskCoreToWeak |
commit | commitdiff | tree |
| 2011-03-07 | Adam Megacz | cleaned up lots of FIXMEs in ProofToLatex |
commit | commitdiff | tree |
| 2011-03-02 | Adam Megacz | Initial checkin of Coq-in-GHC code |
commit | commitdiff | tree |