» 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: coders (26)   programmers (18)   koha (2)   scripting (65)   cascading style sheets (2)  


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

#agda freenode

116 users – 52 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

#borsch freenode

3 users – 52 minutes ago – OCaml, F#, Scala, Haskell, Idris, Agda, Coq, Lean etc. «Ничо так, только не понятно ничего». Логи от bvn13: http://jircbot.tk/logs/irc.freenode.net/_borsch. Ожили. Снова.
chat category: Bornetwork: freenode  –  irc2go: #borsch

  

 Top IRC networks 
   IRCnet
   Ø 28683
   EFnet
   Ø 16421
   Undernet
   Ø 14901
   QuakeNet
   Ø 13159
   OFTC
   Ø 12807
   Rizon
   Ø 12675
   Chatzona
   Ø 7671
   DALnet
   Ø 7301
   Mozilla
   Ø 6801
   freenode
   non-competitive

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

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