Agda Chat Rooms

Search chat rooms within the Internet Relay Chat and get informed about their users and topics! – Chat rooms on IRC are usually called channels. Use this IRC search engine to search in channel names and topics of around 500 IRC networks! Find interesting chat rooms and chat with people that share your interests!

 Related queries:  lisp (46)   programming (172)   matlab (4)   django (24)   programmers (17)  


Search for Agda chat rooms returned a total of 1 matching results.  Displaying 1-1...

#agda freenode

Chat Room - 105 users - 59 minutes ago - current 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
category: Agda - network: freenode  -  irc2go: #agda

deutsch
0.0553 seconds

SimosNap   Mibbit   KampungChat   netsplit   ChatLounge   BOLChat   DALnet   IRC Chat   mIRC   freenode   Chatzona   Undernet   PTnet   HexChat   Chat Hispano