It me!
RT @dorchard@twitter.com
Join us at TyDe 2021, the Workshop on Type-Drive Development at @icfp_conference@twitter.com. We have a cracking programme https://icfp21.sigplan.org/home/TyDe-2021#event-overview and a keynote from @wenkokke@twitter.com on Integrating Agda with SMT-LIB.
