leastfixedpoint
~tonyg
Projects
Blog
Contact
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.