<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi,<br>
<p>I noticed some mistakes in the code on the 13th page of Pierre
Kraft's thesis: <a moz-do-not-send="true"
href="http://publications.lib.chalmers.se/records/fulltext/256251/256251.pdf">'Singly
typed actor in Agda'</a>. I would like to inform him directly,
unfortunately I did not find his email address in the document.
Maybe he is a member of this mailing list?<br>
<br>
Sincerely,</p>
<p>Saluton,<br>
<br>
Mi rimarkis kelkajn erarojn en la kodo sur la 13a paĝo de la tezo:
<a moz-do-not-send="true"
href="http://publications.lib.chalmers.se/records/fulltext/256251/256251.pdf">'Singly
typed actors in Agda' </a>el Pierre Kraft'. Mi ŝatus informi
lin rekte, bedaŭrinde mi ne trovis sian retadreson en la
dokumento. Eble li estas membro de ĉi-tiu dissendolisto?<br>
<br>
Sincere,<br>
</p>
Bonjour,
<p> J'ai remarqué quelques erreurs dans les codes présentés en page
13 de la thèse : <a moz-do-not-send="true"
href="http://publications.lib.chalmers.se/records/fulltext/256251/256251.pdf">'Singly
typed actors in Agda'</a> de Pierre Kraft. Je souhaitais lui
faire directement cette remarque, malheureusement je ne trouve pas
son adresse courriel dans le document. Peut-être est-il membre de
la liste ?<br>
</p>
<p>Cordialement,<br>
</p>
<div class="moz-signature">-- <br>
Serge Leblanc
<hr>
gpg --search-keys 0x67B17A3F
<br>
Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F</div>
</body>
</html>