💾 Archived View for dcreager.net › 2024 › 05 › 20-reading-log.gmi captured on 2024-06-16 at 12:13:26. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-05-26)
-=-=-=-=-=-=-
2024-05-20
Added [Barrett2024], which describes the Relational Machine Calculus. It is a follow-on to their papers about the Functional Machine Calculus.