extract Literals code
extract Literals code
extract WiredIns
Refine CoreToLogic for Prop measures
Refine CoreToLogic for Prop measures
simplify prop measures
prop measure works\!
strength types for Haskell Prop measures
inline booleas in measure definitions
more Pred cases
Merge pull request #270 from ucsd-progsys/prop_measures

Prop measures