Everything below is roughly written and less polished than the posts. Comments and advice on improving any of it is always welcome.

2026-09-18 Jigsawing an extended System-F calculus notefplsystem-f-pop