start db example
adding listMem (via partition)
can not prove membership
adding abs-ref entry
asd
asdasd
asdad
see TODO for module import plan
starting of new imports branch
asdasd
Merge pull request #73 from ucsd-progsys/listMem

List element via partition
Merge pull request #77 from ucsd-progsys/database

start db example
restoring datacon checks
moving back to bytestring
Merge pull request #78 from ucsd-progsys/imports

Imports
remove ByteString from include
go back to imports
done with ByteString/Lazy/Internal
some small progress with bytestring. modules are a pain
aargh. forgot to add the new spec files for Ptr