Term Rewriting Systems infrastructure
Basic purely functional programming language based on term rewriting