.gitignore | 2 +-
CMakeLists.txt | 57 ++-
LICENSE | 21 +-
README.md | 54 ++-
build.sh | 26 +-
env.sh | 3 +-
install.sh | 26 +-
src/main.cc | 107 +++++-
src/ob/parg.hh | 825 ++++++++++++++++++++++++++++++++++++-
src/ob/string.cc | 132 ++++++-
src/ob/string.hh | 19 +-
src/ob/term.hh | 1274 +++++++++++++++++++++++++++++++++++++++++++++++++++++++-
12 files changed, 2546 insertions(+)