<p dir="ltr"><br>
Il 13/Giu/2016 13:12, "enrico franchi" <<a href="mailto:enrico.franchi@gmail.com">enrico.franchi@gmail.com</a>> ha scritto:</p>
<p dir="ltr">> And now a presentation about the coq programming language...<br>
><br>
> [leggere ad alta voce...] </p>
<p dir="ltr">Traparenresi stavo vomparando (a livello sintattico solamente) Go Lang e Swift. Il primo mi suggerisce l'idea di un C a oggetti (non C++) mentre trovo il secondo piuttosto <br>
Pythonico (fatte le debite considerazioni ovvio)<br></p>
<p dir="ltr">Carlos</p>