[Agda] Agda with excluded middle is inconsistent

Anthony de Almeida Lopes guerrilla_thought at gmx.de
Mon Jan 11 15:13:35 CET 2010

Previous message: [Agda] Agda with excluded middle is inconsistent
Next message: [Agda] Agda with excluded middle is inconsistent
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Bayesian Type Theory, anyone? ;)

Previous message: [Agda] Agda with excluded middle is inconsistent
Next message: [Agda] Agda with excluded middle is inconsistent
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list