Chat Search    Chat Directory    About 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.055 seconds)*

Agda Chat Rooms

Category:  Computers  >  Programming  >  Agda

agda freenode

Chat Room - 114 users - current topic: Agda: is it a dependently-typed programming language? Is it a proof-assistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. | Wiki: | Logs: | | Please comment your Agda | Lib:
Category: Agda Chat Rooms

borsch freenode

Chat Room - 3 users - current topic: OCaml, F#, Scala, Haskell, Idris, Agda, Coq, Lean etc. «Ничо так, только не понятно ничего». Логи от bvn13: Ожили. Снова.
Category: Bor Chat Rooms

haskell (82)   coders (25)   ats (3)   qt (51)   scripting (71)   visual basic (3)  

Programming Chat Rooms

#programming freenode

Chat Room - 745 users - current topic: Community Chat & Programming/Computer Science Discussion | If you have a question, don't ask to ask, just ask! | Paste > 3 lines to a pastebin such as | Channel rules: | Colour codes filtered again because idiets.
Category: Programming Chat Rooms

programming SwiftIRC

Chat Room - 13 users - 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

ubuntu-programming freenode

Chat Room - 5 users - current topic: This chan used to be a place where people from the programming sub-forum of hung out. It is rather dead these days tho. | What are people working on? nvteighen: | lnostdal:
Category: Ubuntu Programming Chat Rooms

programming Snoonet

Chat Room - 120 users - current topic: Welcome to #programming! | Check out #python for snakes, #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Category: Programming Chat Rooms

programming Rizon

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

programming ByNets

Chat Room - 10 users - current topic: За вопросы «кто живой? кто шарит?» — бан | Исходники постить НЕ НА КАНАЛЕ, а в | #job | #java#php#ruby#symbian#wm-dev | Курсачи/дипломы пишут на #commerce | RTFM(R)SDN!
Category: Programming Chat Rooms

#C freenode

Chat Room - 1006 users - current topic: C Programming | PASTE (>3 lines): | WIKI: | BOOKS: | C2X Charter: | the current standard: | Off-topic: ##c-offtopic | Identify to speak
Category: C Chat Rooms

#programming-ops freenode

Chat Room - 4 users - current topic: Discussion of moderation/channel issues for ##programming are done here as requested. ##programming policies:
Category: Programming Chat Rooms

programming ChatLounge

Chat Room - 7 users - current topic: Welcome to #programming | Ask about anything related to programming.
Category: Programming Chat Rooms

cascading style sheets (2)   agda (2)   code (523)   coding (56)  

<      1       2       3       4       5      >