[Agda] Agda with the excluded middle is inconsistent ?

[Nils Anders Danielsson]

On 2010-01-07 12:38, Dan Doel wrote:
> I don't think the consistency of Agda has been shown, since it's not been that
> long since the last time someone came up with a proof of false that didn't
> require excluded middle. :)

I suspect it would not be too hard to come up with another proof of
false, if you have that inclination:

  http://code.google.com/p/agda/issues/detail?id=118

--
/NAD