4 ms·
6 months in, Agda is just as cryptic as it was on day 1.
by notmyname9173 6y ago
6 months in, Agda is just as cryptic as it was on day 1.
- the_af 6y agoI'm not familiar with Agda, but it's entirely possible its syntax is just not good. It doesn't contradict pg's point.