» 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: agda (1)   falcon (3)   libraries (17)   scripting (68)  

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
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 
   Ø 29718
   Ø 17551
   Ø 16914
   Ø 15576
   Ø 13962
   Ø 12675
   Ø 8161
   Ø 7350
   Ø 6462

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

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