[Agda] Fin n -> Fin n extensional?
Jacques Carette
carette at mcmaster.ca
Wed Feb 18 15:25:15 CET 2015
Previous message:
[Agda] Re: [HoTT] Re: Univalence via Agda's primTrustMe again^2
Next message:
[Agda] Fin n -> Fin n extensional?
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Does anyone have a proof in Agda that functions at type (Fin n -> Fin n) are extensional? Jacques
Previous message:
[Agda] Re: [HoTT] Re: Univalence via Agda's primTrustMe again^2
Next message:
[Agda] Fin n -> Fin n extensional?
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list