ASDASD
ADASDASD
AS
moved all generated temp files to .liquid/
moving CountBinders outside top-level binary
appear to have expunged the gross out.smt2
ASDASD
Why is tests/pos/RBTree.hs failing
misc edit
wtf
minimal failing test
restore Bare
basic invariant checking
distinguish invariants from type usage