tree-sitter-nd/examples/e1.txt

Plain text ND syntax (Fitch style)

#  This proof contains consecutive nested blocks.
#  This was a large reason why indentation based nested
#  blocks was decided against, in favour of {...}


q v -q
___
{
    q
    ___
    q v (q -> p)
}
{
    -q
    ___
    {
        q
        ___
        F
        p
    }
    q -> p
    q v (q -> p)
}

q v (q -> p)