[Agda] Trust me regarding Dan Licata's trick

Nils Anders Danielsson nad at cse.gu.se
Mon Jun 10 11:06:56 CEST 2013


On 2013-06-07 10:42, Martin Escardo wrote:
> Anyway, if trustMe does work as a postulate as claimed earlier, why is
> it needed/useful at all?

Dan Licata gave an explanation earlier in this thread.

-- 
/NAD


More information about the Agda mailing list