[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: note café lily Guile
|
From: |
Jean Abou Samra |
|
Subject: |
Re: note café lily Guile |
|
Date: |
Sat, 5 Jun 2021 22:06:25 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.8.1 |
Le 05/06/2021 à 20:12, Christophe Pochon a écrit :
Oui c'était super. Et l'occasion de découvrir que Jean a genre 16 ans !
18, tout de même. Je me suis vaguement demandé si cela surprendrait.
Mais, vous savez, j'ai des amis qui s'amusent à coder des interpréteurs
Prolog ou des programmes de vérification formelle par inférence de types.
J'ai passé un très bon moment avec vous. Ceux qui les détiennent
pourraient-ils partager les vidéos ?
En tous cas, c'est à remettre. En présentiel si possible, bien sûr.
Cordialement,
Jean
Re: note café lily Guile, Gloops, 2021/06/07