💾 Archived View for dcreager.net › theory captured on 2024-09-29 at 00:11:36. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2023-11-14)

➡️ Next capture (2024-12-17)

🚧 View Differences

-=-=-=-=-=-=-

Theory

Call By Push Value

E-graphs

Functional Machine Calculus