leastfixedpoint

Archived tweet #9274 from the @leastfixedpoint Twitter Archive
Next step is to explicitly represent the (State x Event -> State x Actions) structure and use it to build synthesis component graphs.