Posts
Links
Topics

The Big Oops in Type Systems

↗: danieltan.weblog.lol
⊕: Aug 2, 2025, 8:31 PM

More of me

⁂: @mostol@social.coop
: mostol

About this site

Built with 11ty. Typeset in Inclusive Sans and Recursive.

Layout source hosted on GitHub. Contents sold separately, courtesy of the good folks of Disroot.