[Agda] Type Checking in Agda

effectfully effectfully at gmail.com
Tue Oct 27 07:43:28 CET 2015


> intensional type theories, which Agda is
(modulo rewrite rules (and instance arguments?))


More information about the Agda mailing list