https://olydis.medium.com/a-fresh-look-at-first-class-functions-c38baec86a9b2025-11-05daily0.7 https://olydis.medium.com/tree-calculus-can-define-churchs-δ-3e765946940f2025-11-06daily0.5 https://olydis.medium.com/cool-edited-into-the-post-92133ff9c5fa2022-07-09monthly0.5 https://olydis.medium.com/ooops-somehow-didnt-see-your-messages-until-now-d9fe96d3c4d12022-07-09monthly0.5 https://olydis.medium.com/a-visual-introduction-to-tree-calculus-2f4a34ceffc22025-01-18monthly1.0 https://olydis.medium.com/tree-calculus-in-action-fusion-analysis-64ca5c2ffbee2025-07-17monthly0.5 https://olydis.medium.com/arbitrary-parenthesization-d0191819ab7c2020-12-30monthly0.7 https://olydis.medium.com/about2025-11-05weekly1.0 https://olydis.medium.com2025-11-05weekly1.0 https://olydis.medium.com/one-point-bases-for-λ-calculus-4163b1b326ad2024-12-13monthly1.0 https://olydis.medium.com/just-fyi-i-revisited-this-project-and-it-compiles-to-wasm-now-37ef7db479322021-10-31monthly0.5