[Agda] conjectures in agda

[Martin Escardo]

Andrés Sicard-Ramírez wrote:
> Maybe I am missing something about your approach, but why not define 
> conjecture by
> 
> postulate
>    conjecture : {A : Set} → A

I was trained in such a way that I know how to prove everything from 
absurdity only, and absurdity is the only thing I dare to postulate. For 
the more daring of you, I recommend Andrés' solution. :-)

Martin