[Agda] Trust me regarding Dan Licata's trick

Conor McBride conor at strictlypositive.org
Sat Jun 8 00:32:49 CEST 2013


On 7 Jun 2013, at 23:29, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:

> Imagine two plate tectonics colliding with each other: an earthquake is what you would expect, and it is what we are getting.

Wishful thinking.

Conor


More information about the Agda mailing list