Pinned Loading

1. hablapps/stateless hablapps/stateless Public

   A library which is not recognized as citizen of any infrastructure.

   Scala 26 2

2. hablapps/DontFearTheProfunctorOptics hablapps/DontFearTheProfunctorOptics Public

   Don't Fear the Profunctor Optics!

   Haskell 424 25

3. LensStateIsYourFather LensStateIsYourFather Public

   Forked from hablapps/LensStateIsYourFather

   Lens, State is your father... and I can prove It!

   Coq

4. hablapps/azucar hablapps/azucar Public

   Syntactic facilities to deal with algebras

   Scala 5 1

5. hablapps/gist hablapps/gist Public

   Little snippets of code illustrating functional programming techniques in Scala

   Scala 53 6

6. hablapps/LensAlgebra hablapps/LensAlgebra Public

   Towards Optic-Based Algebraic Theories: the Case of Lenses

   Coq 17 1