[Agda] An exercise in typing

Roman effectfully at gmail.com
Mon Jun 13 16:57:17 CEST 2022


Ah, right, your original version is more expressive indeed. Thanks!


More information about the Agda mailing list