[Agda] Verifying type inference in Agda?

William Harrison william.lawrence.harrison at gmail.com
Tue Sep 29 23:40:02 CEST 2020


Hi,

I’m wondering if anyone has a pointer to a case study of verifying a type inference algorithm in Agda? Simple examples (even a toy example) would be alright (even preferred). I’m mainly interested in the structuring of the verifications in Agda.

Thanks,
Bill

Sent from my iPad


More information about the Agda mailing list