A totally awesome term-rewriting language - View it on GitHub