Brendan Zabarauskas@brendanzabReplying to @brendanzab and @mcclure111first class, dependently typed modules…1:52 AM · Sep 25, 2021·Twitter Web App
