trans
tidy transRec
testing insert_go
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
why is Eval returning SAFE (i thought these were true-ed out?)
why is Eval returning SAFE (i thought these were true-ed out?)
wtf is going on with len constraints?
asdad
adding another ISSUE tests/todo/Eval.hs
asdasd
tiny coercion example
coercion in expressions
coercion in types
fix for #97, ignore rec calls from readVars
eval
Merge pull request #99 from ucsd-progsys/coercion

Coercion
Merge pull request #100 from ucsd-progsys/trueRec

fix for #97, ignore rec calls from readVars
untyped-LC-eval
get the env thing to work
solved silly keyword-in-fixpoint-issue but pull fixpoint too