homoiconic-rewriting

Unified homoiconic graph rewriting - λ-calculus, interaction nets, ACSets, CUDA parallelism