Archived tweet #1566 from the @leastfixedpoint Twitter Archive

@arnihermann Redex has been good so far for lambda-like systems, either direct rewriting or CEK-machine style. Unsure about for LTSs.