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