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
onto Measure.hs
onto the big one Parse.hs
ticking along on parse.hs
onto Bare.hs
onto annotate
onto annotate
onto FixInterface
everything compiles
go back to install liquid-fixpoint in cabal
nuking fixpoint related stuff from repo
nuking more stuff
nuking more stuff
ok, one test works. lets to goto.