Bo Jeanes@bjeanes·Dec 10, 2018I think we're overdue for another of these. What do you reckon @glenngillen? https://twitter.com/glenngillen/status/686866459465678848…This Tweet is unavailable.11
Brendan Zabarauskas@brendanzabReplying to @bjeanes and @glenngillenI would do this again! :)3:10 AM · Dec 10, 2018·Twitter Web Client1 Like
Bo Jeanes@bjeanes·Dec 10, 2018Replying to @brendanzab and @glenngillenYeah it was super fun last time!11
Brendan Zabarauskas@brendanzab·Dec 10, 2018I have also learned lots about dependent types since past we met! O___O11
