I’ll be at in Melbourne this week, from today to Wednesday. Feel free to say hello! Always up for a chat about dependent type theory, language design, or diversity in FP.
Conversation
1
2
See you there Brendan!
1
1
Looking forward to it!
1
Failing any other ideas, I’m planning to work away on github.com/brendanzab/rus (an implementation of dependent types in Rust). I’m also happy to help people who might be interested in learning about how to implement dependent type checkers. It’s not as hard as you might think!
