Crate metacat 

Modules

check

definition

dual

prop

The theory of PROPs

ssa

Convert an OpenHypergraph to SSA form

syntax

A provisional definition of surface syntax for metacat Examples:

theory

tree