allow quantification over any tyvar in the environment, not just the first
[coq-hetmet.git] / src / HaskSkolemizer.v
2011-06-24 Adam Megaczallow quantification over any tyvar in the environment...
2011-06-21 Adam Megaczadd crude support for flattening with LetRec and Case...
2011-06-02 Adam Megaczadd support for flattening recursive-let
2011-05-31 Adam Megaczremove RLet and RWhere
2011-05-31 Adam Megaczlet RCut take a left environment as well
2011-05-31 Adam Megaczremove RJoin rule
2011-05-29 Adam Megaczadd RCut, RLeft, RRight rules
2011-05-28 Adam Megaczrename constructors of Arrange to start with A instead...
2011-05-28 Adam Megaczmove Arrange into NaturalDeductionContext
2011-05-27 Adam MegaczHaskProof: make the succedent level part of the judgment
2011-05-26 Adam Megaczadd new Where rule, eliminate unnecessary ga_swaps...
2011-05-15 Adam Megaczmore efficient encoding of function types
2011-05-14 Adam Megaczintegrate skolemization pass with flattening
2011-05-13 Adam Megaczfirst draft of skolemization pass