Posts
Links
Topics

The Big Oops in Type Systems

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

More of me

⁂: @mostol@social.coop
: mostol

About this site

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

Source publicly available courtesy of the good folks of Disroot.