moving lexicographic post back
moving lexicographic post back

ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell