Wadler's Blog: December 2020Published bywadler.blogspot.comon •1 min readwadler.blogspot.comBrilliant! Spotted via Boing-Boing.AgdaFunctional ProgrammingTheoryTypesJapanLegoAcademiaProductivityPoliticsLabels: Japan LegoLabels: Academia ProductivityLabels: Politics USLabels: Comics Covid-19Learn moreShareLegalReport
