Brendan Zabarauskas on Twitter: "So it seems I'll be doing a talk on my experiences implementing a dependent type system in Rust at the Melbourne Haskell User Group next Thursday! No knowledge of type theory or dependent types should be required! https://t.co/nzvfC5HoLL" / Twitter

So it seems I'll be doing a talk on my experiences implementing a dependent type system in Rust at the Melbourne Haskell User Group next Thursday! No knowledge of type theory or dependent types should be required! meetup.com/Melbourne-Hask

12:27 AM · Mar 22, 2018Twitter Web Client

Retweets

Likes

Conversation