5 ms·I had not heard of Agda before, I'll have to check that out. Thanks!by peterpost2 5mo agoI had not heard of Agda before, I'll have to check that out. Thanks!