Skip to content
Avatar

Achievements

Achievements

Organizations

@hablapps
Block or Report

Block or report jeslg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

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

    Scala 26 2

  2. Don't Fear the Profunctor Optics!

    Haskell 383 23

  3. Forked from hablapps/LensStateIsYourFather

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

    Coq

  4. Syntactic facilities to deal with algebras

    Scala 5 1

  5. Little snippets of code illustrating functional programming techniques in Scala

    Scala 52 6

  6. Towards Optic-Based Algebraic Theories: the Case of Lenses

    Coq 18 1

60 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2021

1 contribution in private repositories Oct 7

Seeing something unexpected? Take a look at the GitHub profile guide.