The part on quantifiers reminds me of point-free notation in Haskell. Not in a *... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

al2o3cr on June 17, 2017 | parent | context | favorite | on: Towards a Better Notation for Mathematics (2010) [...

The part on quantifiers reminds me of point-free notation in Haskell. Not in a good way, either...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact