##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 Users for ##dependent
Channel Users List
See who's in ##dependent and browse user history
This feature is not currently enabled for ##dependent.
Enable the Live Channel Bot and the Users List option in channel settings to display the current user list and user history.
Current Users
See who's online right now with status (ops, voice, etc.) and linked accounts.
User History
Browse who has joined in the past, when they were last seen, and quit messages.
Channel administrators can enable this feature in the channel Admin settings. Ask a channel admin to enable the Live Channel Bot and the Users List option.