AsasdA
nuking refs to FileNames
removed FileNames can delete file...
removed FileNames can delete file...
about to nuke Fixpoint.hs
temp checkin
temp checkin to work elsewhere
add TyConInfo
add tests with conttavariant ps
add covariant info for Ps
use covariant info in splitC
more tests
foo
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
documentation on covariance
onto Measure.hs
array with tyCon
grap qualifiers from TyCon refinements
ignore non basic dataCon info
onto the big one Parse.hs