<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<tt>Hi Serge,<br>
<br>
Here is a barebones implementation of cat (i.e. a use-case of
readFile):<br>
<a class="moz-txt-link-freetext" href="https://github.com/gallais/potpourri/blob/master/agda/poc/😸.agda">https://github.com/gallais/potpourri/blob/master/agda/poc/😸.agda</a><br>
<br>
Cheers,<br>
--<br>
gallais<br>
</tt><br>
<div class="moz-cite-prefix">On 26/01/18 09:53, Serge Leblanc wrote:<br>
</div>
<blockquote type="cite"
cite="mid:7e297e0e-8970-3bba-1031-662fd1a89cc7@gmail.com">
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<p><span id="result_box" class="" lang="en"><span class=""></span></span>Hi,
does someone have examples of IO programs for reads and writing
files ?</p>
<p>Sincere,<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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
</blockquote>
<br>
</body>
</html>