RSS

astradiol

Karma: 25

Semi-Sim­pli­cial Types, Part I: Mo­ti­va­tion and History

astradiol9 Mar 2024 22:07 UTC
20 points
3 comments10 min readLW link