GitHub - hablapps/LensStateIsYourFather: Lens, State is your father... and I can prove It! - discu.eu

Reddit

Lens, State is your father... and I can prove it! https://github.com/hablapps/lensstateisyourfather 3 comments 25/1/2018 scala

Linked pages

Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
GitHub - hablapps/DontFearTheProfunctorOptics: Don't Fear the Profunctor Optics! https://github.com/hablapps/dontfeartheprofunctoroptics 15 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - hablapps/LensStateIsYourFather: Lens, State is your father... and I can prove It!

See how to search.

Submit link to: