sellout / yaya

Yet another yet another recursion scheme library in Haskell.

• 🔭 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.

yaya's Issues

Dependency Dashboard

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.

Open

These updates have all been created already. Click a checkbox below to force a retry/rebase of any.

• Lock file maintenance

Detected dependencies

github-actions

.github/workflows/flakehub-publish.yml

• actions/checkout v4

nix

flake.nix

• nixpkgs release-23.11

---

• Check this box to trigger a request for Renovate to run again on this repository

add comparison section for `data-fix`

data-fix is a small recursion scheme library. It also is depended on by recursion-schemes. It would be good to explain why yaya exists relative to it.

Also, maybe add some comparisons to other things listed in haskell/core-libraries-committee#190

Define low-hanging-fruits so I can help :)