[Agda] Trust me regarding Dan Licata's trick

Nils Anders Danielsson nad at cse.gu.se
Thu Jun 6 22:09:47 CEST 2013


On 2013-06-06 13:36, Martin Escardo wrote:
> But it would be nice to hear from those who designed and implemented
> the feature.

I don't have much to add to this discussion. (Ulf implemented
primTrustMe, I added some kind of support to MAlonzo.)

-- 
/NAD


More information about the Agda mailing list