Agda allows for "mixfix" function names with spaces. It's very interesting. | Hacker News

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

sordina on Feb 6, 2016 | parent | context | favorite | on: “Screw it, I'll make my own” – The story of a new ...

Agda allows for "mixfix" function names with spaces. It's very interesting.

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