Archived tweet #1565 from the @leastfixedpoint Twitter Archive

@arnihermann I haven't used Maude yet. I'm just starting out, though, and I hear good things about Maude... I'll see if Redex works first :)