News for hackers. Stuff that matters.

A comment on Programming language notation is a barrier to entry. Parent comment

Re:Programming language notation is a barrier to entry by notmyname9173 on Thursday October 01, 2020 @03:08PM (#24654975)
6 months in, Agda is just as cryptic as it was on day 1.
[ Parent | on HN ]
Re:Programming language notation is a barrier to entry by the_af on Thursday October 01, 2020 @04:13PM (#24655674)
I'm not familiar with Agda, but it's entirely possible its syntax is just not good. It doesn't contradict pg's point.
[ Parent | on HN ]