This site requires JavaScript
Mozilla
FreeNode
W3C
mozilla #rust-typetheory
18 Aug 2018
Something about type theory and Rust. | Logs:
mozilla.logbot.info/rust-typetheory
logbot has shutdown
No messages for 18 Aug 2018.
4 years ago
«
2 days 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
╳