Update readme.md
Update readme.md
Update readme.md
EOD in the middle of refactoring the verifier to abstract out rule param checking.
More refactoring - name changes, split verifier.js into src/*.js. Added testing framework + some tests.
More refactoring. Need to impl proper substitution.
Fixed not intro, assumptions (must be first line of box), added more tests.
Fixed cli.js, minor bugs in grammar/lexer related to whitespace and assumption boxes, and minor fixes in verifier.
Fixed a number of verifier bugs. Added order-of-ops tests. Fixed some related grammar issues.