[Agda] Type Checking in Agda
effectfully
effectfully at gmail.com
Tue Oct 27 07:43:28 CET 2015
Previous message:
[Agda] Type Checking in Agda
Next message:
[Agda] Type Checking in Agda
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
>
intensional type theories, which Agda is
(modulo rewrite rules (and instance arguments?))
Previous message:
[Agda] Type Checking in Agda
Next message:
[Agda] Type Checking in Agda
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list