¶Reading log
2023-07-14
Added [Ramsay2023], which presents “two-side type systems”, which guarantee “both that well-typed programs don't go wrong and that ill-typed programs do not evaluate”. 50 pages of appendix, oof.
This page is also available via Gemini at gemini://dcreager.net/2023/07/14-reading-log.gmi