Root Rewrite Systems

A small computation model based on rewriting typed trees. Tutorials with live, embedded interpreters.