Similarity between logic notation and partial orders

kai-qu / notation

Collection of quotes on notation design & how it affects thought.

1.84k stars 55 forks source link

Open tannerlegvold opened 4 months ago

tannerlegvold commented 4 months ago

I especially like comma being a commutative operator https://www.youtube.com/watch?v=niqqm1DRTkE