In 15 minutes, I'm giving my talk "Schmitty the Solver" on SMT integration for Agda! Come join me!https://www.twitch.tv/agdalang
You can also join us on Zoom, link available here:https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXIII
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!