Refactor model - Githubissues

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Refactor model #43

Closed plebras closed 9 years ago

plebras commented 9 years ago

rethink the logic behind the scala model and how it is linked with the JSON represeantation it should make node duplication easier as well as tactic management in the model.