Skip to content
View jjba23's full-sized avatar
💭
A monad is just a monoid in the category of endofunctors, what's the problem?
💭
A monad is just a monoid in the category of endofunctors, what's the problem?

Block or report jjba23

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. free-alacarte free-alacarte Public

    Free monads based on intuitions from the Data types à la Carte paper. Combine functors and make embedded DSLs in Haskell.

    Haskell 12

  2. sss sss Public

    Supreme Sexp System - SSS - a Lisp machine adventure

    Scheme 34

  3. wikimusic-api wikimusic-api Public

    Haskell REST API for WikiMusic, invite-only knowledge sharing of music community. Visit at wikimusic.jointhefreeworld.org

    Haskell 2

  4. byggsteg byggsteg Public

    Byggsteg is the free as in freedom CI/CD orchestrator written in Guile Scheme

    Scheme 32 1

  5. zzspec zzspec Public

    ZZSpec tests help you grow your confidence in the correctness of software with ZIO (test)

    Scala 12

  6. welkomscherm.el welkomscherm.el Public

    Simple elegant welcome screen / dashboard for Emacs

    Emacs Lisp 14