[Agda] Handling the Impossible

Samuel Bronson naesten at gmail.com
Fri May 9 16:46:11 CEST 2008


How do you prove that a type is uninhabited? For example, Fin 0...


More information about the Agda mailing list