[Agda] IO programs examples ?

Serge Leblanc 33dbqnxpy7if at gmail.com
Fri Jan 26 09:53:13 CET 2018


Hi, does someone have examples of IO programs for reads and writing files ?

Sincere,

-- 
Serge Leblanc
------------------------------------------------------------------------
gpg --search-keys 0x67B17A3F
Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180126/5e3d6a3e/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180126/5e3d6a3e/attachment.sig>


More information about the Agda mailing list