add doc and modify coding style (after remarks)
Merge branch 'master' of https://github.com/ptal/nominal-workbench
Merge branch 'master' of https://github.com/ptal/nominal-workbench
Starting of type cchecking
merge term_system and rewriting_system
change keyword "include" by "open"
fix the test
missing files
Merge branch 'master' of https://github.com/ptal/nominal-workbench
Little update, remains to clarify atom kinds.
Improvement in term testing and fix bugs.
Add many tests on the Peano system. Also add errors that didn't exist yet.
include system fixed
The two parser are now merged. Also modified the ast's roots (added a parsetree to improve the uniformity). Improved the toplevel capabilities, now can parse rules and terms alike (we still should add a keyword such as "reduce" for terms). I'm aware of the inconsistencies in the new ast(s), I'll try redesign it later (open for suggestions).
Improved the driver with path search
Saving state pre-merge
Merge branch 'master' of https://github.com/ptal/nominal-workbench
commit post-merge
Fix tests, parser but no more multiline/"imbriqué" comments
Fix tests + light modif ast