sellout / caterwaul

Wailing into the primordial ooze of category theory

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

caterwaul'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.

• Update nixpkgs to release-23.11
• Update actions/checkout action to v4
• Update actions/configure-pages action to v5
• Update actions/deploy-pages action to v4
• Update actions/upload-pages-artifact action to v3
• Update cachix/install-nix-action action to v26
• Click on this checkbox to rebase all open PRs at once

Detected dependencies

github-actions

.github/workflows/pages.yml

• actions/checkout v3
• actions/configure-pages v3
• cachix/install-nix-action v20
• lriesebos/nix-develop-command v1
• actions/upload-pages-artifact v2
• actions/deploy-pages v2

nix

flake.nix

• nixpkgs release-23.05

---

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

create bindings for all imports

We currently have a number of imports deep inside various expressions. This wasn’t initially a problem, but now we have SHA hashes on everything, and it makes a lot of the expressions impenetrable.

Creating bindings for imports should make reading the code much easier.