remexre/evaltrees

A simple term-rewriting interpreter that displays intermediate expressions.