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

maxim.budaev at googlemail.com maxim.budaev at googlemail.com
Wed Jan 21 09:41:25 CET 2015


Skipped content of type multipart/alternative


More information about the Agda mailing list