Category Archives: proof

Lens, State is your father… and I can prove it!

Here it is our new blog post, as a sequel of Lens, State Is Your Father. Today, we’ll try to formalize some informal claims that we did in that article and we’ll emphasize on the relevance of proof assistants in … Continue reading

Posted in coq, Lens, monad, Optics, proof, Scala, State, Type Class | Leave a comment