This site requires JavaScript
Mozilla
FreeNode
W3C
mozilla #rust-typetheory
25 Feb 2021
Something about type theory and Rust. | Logs:
mozilla.logbot.info/rust-typetheory
No messages for 25 Feb 2021.
6 days 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
╳