[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
Previous message:
[HoTT] Re: [Agda] Univalence via Agda's primTrustMe?
Next message:
[Agda] Univalence via Agda's primTrustMe again
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Skipped content of type multipart/alternative
Previous message:
[HoTT] Re: [Agda] Univalence via Agda's primTrustMe?
Next message:
[Agda] Univalence via Agda's primTrustMe again
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list