this is me? :O
This Tweet was deleted by the Tweet author. Learn more
Conversation
We are on the same page! 😪 any side projects you are working on currently?
1
Still learning more about and experimenting with implementing dependent type systems. Also trying to get around to doing a CFP for Lambda Jam... 😬
2
1
So yeah - kind of just work stuff that is still interesting enough to learn about on weekends! Need to get around to doing softwarefoundations.cis.upenn.edu or plfa.github.io at some stage.