Agda Chaträume

Suche Chaträume im Internet Relay Chat und informiere dich über ihre Benutzer und Themen! – Im IRC werden Chaträume üblicherweise Kanäle (engl. Channels) genannt. Suche in den Namen und aktuellen Themen der Kanäle von ungefähr 500 IRC-Netzen nach Chaträumen, deren Themen dich interessieren, und finde Leute, die deine Interessen teilen!

 Verwandte Suchbegriffe:  ruby (35)   elixir (9)   code (304)   coding (39)   coders (29)  

Die Suche nach Agda Chaträumen lieferte insgesamt 4 Treffer.  Die Ergebnisse 1-4 werden angezeigt.

#agda Libera.Chat

Chatraum - 42 Benutzer - vor 67 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 freenode

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

##agda Libera.Chat

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

##agda freenode

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

english
0,0758 Sekunden

Hinweise zur Nutzung   Kontakt