[Agda] Handling the Impossible
Samuel Bronson
naesten at gmail.com
Fri May 9 16:46:11 CEST 2008
Previous message:
Re: [Agda] Why does Data.Product have � for the type constructor?
Next message:
[Agda] Handling the Impossible
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
How do you prove that a type is uninhabited? For example, Fin 0...
Previous message:
Re: [Agda] Why does Data.Product have � for the type constructor?
Next message:
[Agda] Handling the Impossible
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list