Skip to content
Avatar
🍌
semper φ
🍌
semper φ
  • Block or report user

    Block or report sellout

    Block user

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

    Report abuse

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

    Report abuse
257 followers · 122 following · 113

Highlights

  • Arctic Code Vault Contributor

Organizations

@Clozure
sellout/README.md
  • 🔭 I’m currently working on GHC plugins & category theory modeling
  • 🌱 I’m currently learning enriched category theory and dependent type theory
  • 👯 I’m looking to collaborate on writing about functional programming
  • 💬 Ask me about freediving
  • 📫 How to reach me: @sellout on Twitter
  • 😄 Pronouns: they/them
  • ⚡ Fun fact: I can hold my breath for four minutes.

GitHub stats

Pinned

  1. precog/matryoshka

    Generalized recursion schemes and traversals for Scala.

    Scala 754 94

  2. yaya

    Yet another yet another recursion scheme library in Haskell.

    Haskell 70 5

  3. dada

    A recursion scheme library for Dhall.

    Shell 53 7

  4. Iaia

    A recursion scheme library for Idris.

    Idris 23

  5. recursion-scheme-talk

    A talk on using recursion schemes in FP.

    180 9

  6. category-parametric-talk

    Talks on category-parametric programming.

    Scala 21 2

180 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

December 2020

Created 1 commit in 1 repository
Started 1 discussion in 1 repository
sellout/recursion-schemes-cookbook

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

You can’t perform that action at this time.