This site requires JavaScript
Mozilla
FreeNode
W3C
mozilla #rust-typetheory
16 Aug 2018
Something about type theory and Rust. | Logs:
mozilla.logbot.info/rust-typetheory
logbot has shutdown
22:22
varkor
I'm writing a little article about the type theory of Rust.
22:23
varkor
would anyone here be interested in proof-reading once I'm done?
22:23
varkor
seems like it should be the ideal location, but I know it's a little inactive here :P
4 years ago
«
4 months earlier
today
»
Use dark theme
Use smaller text
Don't colourise nicknames
Use wider column for nicknames
Hide IRC bots
Don't desaturate bots
Close
╳