RSS

astradiol

Karma: 25

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

astradiolMar 9, 2024, 10:07 PM
20 points
3 comments10 min readLW link