» IRC search  details

#agda freenode - Agda Chat Room

Here you see a small report about channel #agda, a chat room on IRC network freenode. This kind of report usually includes user statistics and topics of the last days and weeks, if the channel was registered before and its administrators didn't set its channel modes to private or secret. In addition you will find a webchat button below. Use that button to jump to irc2go.com and to join channel #agda!


Related queries: code (585)   programmers (20)   pascal (4)   libraries (19)  




Chat room #agda on IRC network freenode was registered at 2013-10-17 and automically assigned to group Agda Chat Rooms. Registration of this chat room was based on a large attendance.

#agda freenode - Graph about the amount of users during the last week
to, from topic
2018-06-20,
2017-06-20 
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

  

 Top IRC networks 
   IRCnet
   Ø 31505
   EFnet
   Ø 18219
   Undernet
   Ø 17705
   QuakeNet
   Ø 16234
   Rizon
   Ø 15138
   OFTC
   Ø 13407
   Chatzona
   Ø 7799
   DALnet
   Ø 7438
   IRC-Hispano
   Ø 7042
   freenode
   non-competitive

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

0.0504 seconds
© 1998-2018 netsplit.de  de    IRC Online Chat