cross-posted from: https://toast.ooo/post/14722634

type theory meme

you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 2 months ago

reminds me of quantity calculus, which is when type theory meets physicists like Fourier and Maxwell and Kelvin https://en.wikipedia.org/wiki/Quantity_calculus

  • source