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
Replying to
Still learning more about and experimenting with implementing dependent type systems. Also trying to get around to doing a CFP for Lambda Jam... 😬
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.
1
1
plfa.github.io I just checked this out. Looks like it has some interesting stuff!
Replying to
Any interesting book you would recommend?
What topic are you thinking for the Lambda jam?
1
Books on implementing DTT? Not books, but these are some good resources:
- davidchristiansen.dk/tutorials/bidi
- davidchristiansen.dk/tutorials/nbe/
- andres-loeh.de/LambdaPi/
- math.andrej.com/2012/11/08/how
1
1
Show replies