View Code? Open in Web Editor
NEW
Wailing into the primordial ooze of category theory
License: GNU Affero General Public License v3.0
Shell 0.43%
Emacs Lisp 0.10%
Dhall 99.47%
caterwaul's Introduction
๐ญ 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 People
Contributors
caterwaul's Issues
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.
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
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.