Archived tweet #1573 from the @leastfixedpoint Twitter Archive

@jdanbrown Yeah so it turns out I am *failing* to build an LTS in Redex :-) I'd like to discuss your related work sometime soon!