» IRC search  details

#agda freenode - IRC Channel

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: erlang (15)   forth (7)   programmers (24)   agda (1)  




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
2017-10-18,
2017-03-02 
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
2017-03-01,
2016-11-09 
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 |​ Agda safety: we last proved false on May 2nd 2015.​ |​ Please comment your Agda |​ Lib: http:/​/​bit.​ly/​RivPPG



  

 Top IRC networks 
   IRCnet
   Ø 30424
   EFnet
   Ø 19746
   QuakeNet
   Ø 19251
   Undernet
   Ø 17828
   Rizon
   Ø 15400
   OFTC
   Ø 12124
   IRC-Hispano
   Ø 6930
   DALnet
   Ø 6843
   Mozilla
   Ø 5555
   freenode
   non-competitive

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

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