Bookmarks for 2024-01-27

2 bookmarks were saved this day.

Coeffects: Context-aware programming languages

Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.

Interesting site that can adapt its presentation of a dense subject depending on the audience.


Portable EPUBs$

A proposal for the next generation of portable documents.