[HoTT] Re: [Agda] Univalence via Agda's primTrustMe?

maxim.budaev at googlemail.com maxim.budaev at googlemail.com
Thu Jan 22 10:22:35 CET 2015


Skipped content of type multipart/alternative


More information about the Agda mailing list