save point before deleting a bunch of state stuff - does not compile
save point before deleting a bunch of state stuff - does not compile

haroldcarr/learn-haskell-coq-ml-etc,haroldcarr/learn-haskell-coq-ml-etc,haroldcarr/learn-haskell-coq-ml-etc