Recherche de chat    Annuaire de chat    À propos de irc2go
Catégorie:  Ordinateurs  >  Programmation  >  Agda
irc2go
Chat en ligne

Webchat: agda freenode

Salon de chat - 116 utilisateurs - Il y a 86 minutes - connu depuis 2013-10-17 - thème actuel:  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
Webchat
(Browser + Java)
Appchat
(irc:// + App)
Veuillez choisir un pseudo puis cliquer sur « Continuer » pour vous connecter au réseau de discussions et rejoindre ce salon !
Salon de chat:
Pseudo:

Annuaire de chat:    Internet Chat    Jeux Chat    Apple Chat    Skype Chat    Computer Chat    Windows Chat    Linux Chat    iPhone Chat    . . .