evaltrees (cargo): A simple term-rewriting interpreter that displays intermediate expressions.
Keywords: education|hindley-milner|interpreter|rust