Some UX issues, but overall this is super impressive. Love how they present a theoretical type theory topic in an interactive, (reasonably) accessible way… also source code is available, and it actually runs! So much better than most papers! 👏
Quote Tweet
I'm loving the wonderful tutorial and presentation @tomaspetricek put together for his Ph.D. work on coeffects:
tomasp.net/coeffects/
1