PWLTO#27 - Ben Darwin on State Machines All The Way Down

Ben Darwin presenting "State Machines All The Way Down" by Edwin Brady. Paper link: https://www.idris-lang.org/drafts/sms.pdf

This talk was given at the 27th meeting of the Toronto chapter of Papers We Love, hosted at StartWell on March 12th, 2019: https://www.meetup.com/Papers-We-Love-Toronto/events/259167965/