» IRC search  details

Chat Rooms Agda

Search chat rooms within the Internet Relay Chat! – 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: scripting (81)   php (1040)   code (616)   coding (78)   actionscript (3)  


Searched for Agda chat rooms. 1 matching entries found.  Displaying 1-1...

#agda freenode

117 users – 142 minutes ago – Agda: is it a dependently-typed programming language? Is it a proof-assistant based on intuitionistic type theory? ¯\(°_​0)/​¯ Dunno,​ lol.​ |​ Wiki: http:/​/​bit.​ly/​7pSJE |​ Logs: http:/​/​agda.​orangesquash.​org.​uk/​ |​ http:/​/​news.​gmane.​org/​gmane.​comp.​lang.​agda |​ Please comment your Agda |​ Lib: http:/​/​bit.​ly/​RivPPG
chat category: Agdanetwork: freenode  –  irc2go: #agda

  

 Top IRC networks 
   IRCnet
   Ø 27325
   EFnet
   Ø 19579
   QuakeNet
   Ø 19068
   Undernet
   Ø 16919
   Rizon
   Ø 15228
   OFTC
   Ø 12354
   IRC-Hispano
   Ø 7146
   DALnet
   Ø 7022
   Mozilla
   Ø 5718
   freenode
   non-competitive

Chat Directory
Asia Chat
Australia Chat
Europe Chat
India Chat
USA Chat
. . .

0.0386 seconds
© 1998-2017 netsplit.de  de    IRC Online Chat
This website is being developed in Heusenstamm, Germany.