[Agda] An exercise in typing

Roman effectfully at gmail.com
Sun Jun 12 20:44:34 CEST 2022


Hi Jason.

the body is the real challenge, `RecN` is a warm-up :)


More information about the Agda mailing list