▲ 3 pointsOne More Type in the Tiny Type Theoryjcreedcmu.github.ioby matt_d·2mo ago·0 comments·view on hn ↗