Melbourne :: C◦mp◦se@ComposeMelb·Aug 5, 2018Coming up at #composemelb18, don't miss @lambda_foo bringing the awesome power of dependent types to tame wild state machines! http://composeconference.org/2018-melbourne/speakers/#tim_mcgilchrist…1811
Brendan Zabarauskas@brendanzabReplying to @ComposeMelb and @lambda_fooAhh, looking forward to this one! Need some more dependent types in my life!1:55 PM · Aug 5, 2018·Twitter Web Client1 Retweet3 Likes
