search

wo / tpg

Tree Proof Generator
GNU General Public License v3.0
151 stars 20 forks source link

documentation says that '+' is a valid function symbol, but it's not #18

Closed medovina closed 2 years ago

medovina commented 2 years ago

The documentation says

So F2x17, Rab, R(a,b), Raf(b), F(+(a,b)) are ok...

implying that + is a valid function symbol. However, the query

+(x, y) = +(x, y)

fails with the error "I don't understand the symbol '+'".

medovina commented 2 years ago

Thanks for the fix!