[Agda] IO programs examples ?

[Guillaume Allais]

Hi Serge,

Here is a barebones implementation of cat (i.e. a use-case of readFile):
https://github.com/gallais/potpourri/blob/master/agda/poc/😸.agda

Cheers,
--
gallais

On 26/01/18 09:53, Serge Leblanc wrote:
>
> 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
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180126/6e167285/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180126/6e167285/attachment.sig>