two questions about agda libraries:
(i) does anybody know of existing agda libraries that build out the basic infrastructure of codata, solely using coinductive record types? Or maybe even some libraries that go further and set up IO in terms of coinductive record types?
(ii) what about active parsing agda libraries? I know there is agdarsec by @gallais , but it looks like its still on agda 2.6.2. Any such libraries that have infrastructure for working with streams of data, using coinductive records?
=> More informations about this toot | View the thread | More toots from isAdisplayName@mathstodon.xyz
text/geminiThis content has been proxied by September (3851b).