Chat Search    Chat Directory    About irc2go

  irc2go    
Online Chat    

Search free chat rooms on the Internet Relay Chat and enter the chats online with your browser!
 
Chat Search :  agda
Results 1 - 2 of 2  (0.065 seconds)

Agda Chat Rooms

Category:  Computers  >  Programming  >  Agda
 


agda freenode

Chat Room - 111 users - 36 minutes ago - current 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 |​ Agda safety: we last proved false on May 2nd 2015.​ |​ Please comment your Agda |​ Lib: http:/​/​bit.​ly/​RivPPG
Category: Agda Chat Rooms

dependent freenode

Chat Room - 4 users - 36 minutes ago - current topic: Moving to ​#​#dependent.​ Dependently-typed functional programming languages.​ (​#agda ∩ ​#coq) ∪ dependent types as a whole

sql (24)   scripting (90)   programming (233)   coders (29)   visual basic (5)   drupal (110)  



Programming Chat Rooms

​#programming-ar freenode

Chat Room - 5 users - 36 minutes ago - current topic: مرحبا بك في نادي المبرمجين العرب |​|​ This is the official channel for programming-ar community in Arabic |​|​ توقف درس PyQt لقلة الحضور.​ سيُعلن عن الدرس في موعد آخر إن شاء الله.​ لا تتردد في السؤال عن البرمجة أبدا!
Category: Programming Argentina Chat Rooms

programming SwiftIRC

Chat Room - 19 users - 18 minutes ago - current topic: General programming assistance,​ beardy discussion and egotistical chit chat.​ |​ Discussion of many languages,​ platforms,​ and frameworks.​ |​ Don't ask to ask; just ask! |​ ​#programming supports free speech and decries censorship on SwiftIRC.​ |​ Celebrating 9 years of ​#programming!
Category: Programming Chat Rooms


​#programming freenode

Chat Room - 649 users - 36 minutes ago - current topic: Community Chat & Programming/​Computer Science Discussion |​ If you have a question,​ don't ask to ask,​ just ask! |​ Paste > 2 lines to a pastebin such as http:/​/​ideone.​com |​ Channel rules: http:/​/​tinyurl.​com/​2lb-programming |​ Colour codes filtered again because idiets.​
Category: Programming Chat Rooms

programming Rizon

Chat Room - 13 users - 36 minutes ago - current topic: Programming questions/​chat.​ Language independent.​ |​ Paste stuff here: http:/​/​hastebin.​com |​ We speak all languages,​ except brainfuck! ArnoldC preferable |​ If nobody answers your question,​ be patient
Category: Programming Chat Rooms

programming Cyanide-x

Chat Room - 3 users - 32 minutes ago - current topic: Welcome to Programming |​ Ask questions about any type of language [CSS,​ PHP,​ HTML,​ AJAX,​ SQL,​ mIRC,​ PHP{bots}] |​ English only - Australian an US Web Hosting,​ pm Excuses or erderr
Category: Programming Chat Rooms

programming Snoonet

Chat Room - 103 users - 21 minutes ago - current topic: Welcome to ​#programming! |​ Check out ​#math for math talk and ​#cs for computer science talk HONOR THE WORD OF THE PEOPLE
Category: Programming Chat Rooms

programming Subluminal

Chat Room - 51 users - 21 minutes ago - current topic: 66798-f96c15bd |​ http:/​/​adventofcode.​com/​ |​ blblblblbl |​ <me> it uses keys |​ If you've got any questions regarding PHP,​ Dritz is your guy.​ |​ AoC Code: 66798-f96c15bd |​ AoC Leaderboard: http:/​/​bit.​ly/​2fKBCDo |​ drink your school stay in sleep don't do milk and get eight hours of drugs |​ exio4: php
Category: Programming Chat Rooms

programming ByNets

Chat Room - 15 users - 33 minutes ago - current topic: За вопросы «кто живой? кто шарит?» — бан |​ Исходники постить НЕ НА КАНАЛЕ,​ а в http:/​/​codepad.​org/​ |​ ​#job |​ ​#java​#php​#ruby​#symbian​#wm-dev |​ Курсачи/​дипломы пишут на ​#commerce |​ RTFM(R)SDN! https:/​/​files.​rsdn.​ru/​42710/​askdumb2.​gif
Category: Programming Chat Rooms

​#programming-ops freenode

Chat Room - 6 users - 36 minutes ago - current topic: Discussion of moderation/​channel issues for ​#​#programming are done here as requested.​ ​#​#programming policies: http:/​/​tinyurl.​com/​2lb-programming
Category: Programming Chat Rooms

​#C freenode

Chat Room - 1045 users - 36 minutes ago - current topic: The C Programming Language |​ C11 is the current C Standard |​ PASTE (>3 lines): http:/​/​ideone.​com/​ |​ WIKI: http:/​/​www.​iso-9899.​info/​ |​ BOOKS: http:/​/​www.​iso-9899.​info/​wiki/​Books |​ Test your C knowledge in ​#cjeopardy!
Category: C Chat Rooms


scripting (90)   twisted (15)   coders (29)   coding (84)  



<   1    2    3    4    5    6    7    8    9   10    >   
 


Chat Directory:    Programming Chat    ActionScript Chat    Ada Chat    Ajax Chat    APIs Chat    ASCII Chat    Assembler Chat    ATS Chat    Bash Chat    Basic Chat    C Chat    C# Chat    C++ Chat    Caml Chat    Cascading Style Sheets Chat    CGI Chat    . . .