Tag programming-languages
1 bookmark has this tag.
1 bookmark has this tag.
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.