[Agda] Re: vertical bars | in my goal

[David Leduc]

I insist. I am stuck with my goal that includes vertical bars. If only
I knew the semantics of vertical bars in a goal...

On Thu, Sep 30, 2010 at 11:52 AM, David Leduc
<david.leduc6 at googlemail.com> wrote:
> Hi,
>
> What does it mean when I have vertical bars | in my goal? And what
> should be the shape of the corresponding proof?
>
> Thank you!
>
> David
>