This site requires JavaScript
Mozilla
FreeNode
W3C
mozilla #rust-typetheory
6 May 2018
Something about type theory and Rust. | Logs:
mozilla.logbot.info/rust-typetheory
logbot has shutdown
No messages for 6 May 2018.
4 years ago
«
3 days earlier
3 months later
»
today
»
Use dark theme
Use smaller text
Don't colourise nicknames
Use wider column for nicknames
Hide IRC bots
Don't desaturate bots
Close
╳