Recherche de chat    Annuaire de chat    À propos de irc2go
irc2go
Chat en ligne

Agda Webchat: agda freenode

Salon de chat - 123 utilisateurs - Il y a 223 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

Catégorie:  Ordinateurs  >  Programmation  >  Agda

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: