SK Logic in Egglog

Dependency solving in Nix

Nix from the bottom up

The Metric Red Herring (2022)

Minimalist Programming Languages (2014)

Curry your calls, uncurry your returns

Better Currying in Javascript (2012)

Haskell Theory Exploration

Useful Nix Hacks

Show HN: “Active Code” in Markdown