Brendan Zabarauskas@brendanzabReplying to @alisha_aneja17this is me? :O11:36 AM · Mar 3, 2019·Twitter Web Client1 Like
Alisha Aneja@alisha_aneja17·Mar 3, 2019Replying to @brendanzabWe are on the same page! 😪 any side projects you are working on currently?1
Brendan Zabarauskas@brendanzab·Mar 3, 2019Still learning more about and experimenting with implementing dependent type systems. Also trying to get around to doing a CFP for Lambda Jam... 😬21
