Skip to content
View sellout's full-sized avatar
🍌
semper φ
🍌
semper φ
356 followers · 138 following

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Achievements

Achievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3

Organizations

@Clozure @con-kitty

Block or report sellout

Report abuse

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

Report abuse
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 Mastodon.social
  • 😄 Pronouns: they/them
  • ⚡ Fun fact: I can hold my breath for four minutes.

GitHub stats

Pinned Loading

  1. con-kitty/categorifier con-kitty/categorifier Public

    Interpret Haskell programs into any cartesian closed category.

    Haskell 69 2

  2. yaya yaya Public

    Yet another … yet another recursion scheme library for Haskell

    Haskell 89 4

  3. dada dada Public

    A total recursion scheme library for Dhall

    Nix 66 8

  4. recursion-scheme-talk recursion-scheme-talk Public

    A talk on using recursion schemes in FP.

    219 12

  5. category-parametric-talk category-parametric-talk Public

    Talks on category-parametric programming.

    Scala 23 2

  6. haskerwaul haskerwaul Public

    Category theory concepts in type classes and instances.

    Haskell 23