##dependent
Network:
Libera.Chat
Modes:
Last Seen:
an hour ago
Topic:
Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements.
#661
Rank
55
Users
Channel Log Archive
Searchable archive of IRC conversations from ##dependent
This feature is not currently enabled for ##dependent.
Enable the Live Channel Bot and the Logging option in channel settings to create a searchable, browsable log archive.
Searchable Archive
Search through past messages by keyword or filter by user.
Browse by Date
Navigate conversations by date with calendar picker and day separators.
Export Formats
Download logs in mIRC, XChat, irssi, or WeeChat format.
Shareable Links
Link to specific messages for reference and discussion.
Channel administrators can enable this feature in the channel Admin settings. Ask a channel admin to enable the Live Channel Bot and the Logging option.