¶Reading log
2024-05-20
Added [Barrett2024], which describes the Relational Machine Calculus. It is a follow-on to their papers about the Functional Machine Calculus.
This page is also available via Gemini at gemini://dcreager.net/2024/05/20-reading-log.gmi