This site requires JavaScript
Mozilla
FreeNode
W3C
mozilla #rust-typetheory
25 Nov 2021
Something about type theory and Rust. | Logs:
mozilla.logbot.info/rust-typetheory
logbot has shutdown
No messages for 25 Nov 2021.
9 months ago
«
3 years 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
╳