Ancestors

Toot

Written by Raymond on 2024-11-28 at 20:09

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 | More toots from isAdisplayName@mathstodon.xyz

Descendants