##agda freenode - Agda Chat

Dies ist ein kleiner Bericht über den Chatraum ##agda, einem IRC Channel im Netz freenode. Sofern der IRC Channel bereits etwas länger registriert ist und von seinen Administratoren nicht als privat oder sogar als geheim gekennzeichnet wurde, enthält der Bericht die Besucherzahlen und Chat-Themen der letzten Tage und Wochen.

 Verwandte Suchbegriffe:  programming (152)   programmers (16)   code (293)   scala (5)  

Der Chatraum ##agda vom IRC-Netz freenode wurde am 2021-06-15 registriert und der Kategorie Agda Chaträume zugeordnet. Die Registrierung des Chatraums erfolgte aufgrund hoher Besucherzahlen.

##agda freenode - Diagramm über die Anzahl an Benutzern während der letzten Woche

bis, von Thema
2025-08-19,
2023-08-19 		 - none -

Weitere Agda Chaträume

#agda Libera.Chat

Chatraum - 47 Benutzer - vor 112 Minuten - aktuelles Topic: Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://tinyurl.com/sywtltt | https://1lab.dev
Kategorie: Agda - Netz: Libera.Chat

#agda freenode

Chatraum - 2 Benutzer - vor 112 Minuten - Kein Topic
Kategorie: Agda - Netz: freenode

##agda Libera.Chat

Chatraum - 3 Benutzer - vor 112 Minuten - Kein Topic
Kategorie: Agda - Netz: Libera.Chat

english
0,0689 Sekunden

Hinweise zur Nutzung   Kontakt