Learning about type theory so I can explain what honor is to computer programmers

Posters: PrinceVogel. PrinceVogel

6 likes recorded by the source corpus.

Topics: Philosophy, Math

View Post: https://x.com/PrinceVogel/status/1535863413649334272