Implement tactics.
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 28 Dec 2019 16:28:41 +0000 (16:28 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 28 Dec 2019 17:00:38 +0000 (17:00 +0000)
commit214f84c3b07227767fef90934895a167b15113a1
treeb0cdd997a2d7d77f800ac85241d22e65d4d0f547
parent7f776dee39a35732964a30091e55aa795169bca5
Implement tactics.
src/ast.ml
src/ast.mli
src/eval.ml
src/lexer.mll
src/main.ml
src/parser.mly
tests/test1.gl