[Agda] Irrelevance and propositional equality

Nils Anders Danielsson nad at chalmers.se
Tue Aug 9 14:35:28 CEST 2011


On 2011-08-03 17:23, Andrea Vezzosi wrote:
> On this line of thought, could we have a universe polymorphic trustMe?

Yes.

-- 
/NAD


More information about the Agda mailing list