search

ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

Parsing of terms in goal types #80

Closed ggrov closed 8 years ago

ggrov commented 9 years ago

The goal type parser assumes that terms are enclosed by ", e.g. "p & q". This causes the json protocol to fail.

lyhlbyl commented 8 years ago

i