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:  code (305)   drupal (45)   libraries (8)   programmers (19)   vortex (1)  


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

#agda Libera.Chat

Chatraum - 50 Benutzer - vor 153 Minuten - aktuelles Topic: Questions? Share your work as a self-contained gist and wait for an answer. | http://gist.github.com | http://agda.readthedocs.io | http://agda.github.io/agda-stdlib | http://wiki.portal.chalmers.se/agda | http://lists.chalmers.se/mailman/listinfo/agda | http://github.com/pigworker/CS410-18 | http://plfa.github.io | http://www.cs.nott.ac.uk/~psztxa/g53cfr/ | http://github.com/agda
Kategorie: Agda - Netz: Libera.Chat  -  irc2go: #agda

#agda freenode

Chatraum - 3 Benutzer - vor 153 Minuten - Kein Topic
Kategorie: Agda - Netz: freenode  -  irc2go: #agda

##agda freenode

Chatraum - 2 Benutzer - vor 153 Minuten - Kein Topic
Kategorie: Agda - Netz: freenode  -  irc2go: ##agda

##agda Libera.Chat

Chatraum - 4 Benutzer - vor 153 Minuten - Kein Topic
Kategorie: Agda - Netz: Libera.Chat  -  irc2go: ##agda

english
0,077 Sekunden

Hinweise zur Nutzung   Kontakt