[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