girafe (npm): Term Rewriting Systems infrastructure
Keywords: Girafe|TRS|MTRS|VM|compiler|decision-trees|functional-programming|girafe|rewriting|rewriting-system|term-rewriting