stateExample prime and double prime starting to work
stateExample prime and double prime starting to work

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