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
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
I was hoping to do a presentation about dependent types. Like, getting people up to speed on what they are, the state of the research, and why it's hard.
Replying to
Sounds great! Let me know how you go with it, I would make sure to attend the talk!
Good luck preparing the proposal 😃