boarders, 25 days ago @shwestrick if you want to grab a coffee some time once you’re here and talk about PL/type theory/mathematics/etc. then I’d be more than happy to do that
@shwestrick if you want to grab a coffee some time once you’re here and talk about PL/type theory/mathematics/etc. then I’d be more than happy to do that