Comment by peterpost2

I had not heard of Agda before, I'll have to check that out. Thanks!