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