[Agda] Verifying type inference in Agda?

Kenichi Asai asai at is.ocha.ac.jp
Wed Sep 30 16:33:39 CEST 2020


> IIRC Kenichi Asai has looked into that based on Conor's unification
> algorithm.

I put it here, if you are interested:

http://pllab.is.ocha.ac.jp/~asai/papers/paper2017.pdf

-- 
Kenichi Asai


More information about the Agda mailing list