grabapl_template_semantics

A library that implements a custom grabapl semantics (type system, builtin operations, and queries).

See the documentation for more details.