[notmyname9173]

6 months in, Agda is just as cryptic as it was on day 1.

[the_af]

I'm not familiar with Agda, but it's entirely possible its syntax is just not good. It doesn't contradict pg's point.