[Ericson2314]

Oh I don't mean to imply you weren't serious. I'd be very scared if I was competing with someone using Agda and I wasn't.