3 ms·Oh! Yes! Coding in Agda is incredible sometimes.by tel 13y agoOh! Yes! Coding in Agda is incredible sometimes.