#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:

scripting (48) jolt (3) coding (40) clojure (8)

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

bis, von	Thema
2024-11-25, 2023-02-04	- none -

Weitere Agda Chaträume

#agda Libera.Chat

Chatraum - 43 Benutzer - vor 52 Minuten - aktuelles Topic: Comment your Agda | https://github.com/agda/agda | https://wiki.portal.chalmers.se/agda | https://lists.chalmers.se/mailman/listinfo/agda | https://agda.zulipchat.com | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | 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 Libera.Chat

Chatraum - 4 Benutzer - vor 52 Minuten - Kein Topic
Kategorie: Agda - Netz: Libera.Chat

##agda freenode

Chatraum - 1 Benutzer - vor 52 Minuten - Kein Topic
Kategorie: Agda - Netz: freenode

english

0,4914 Sekunden

Hinweise zur Nutzung Kontakt