agda-sizedIO
agda-sizedIO copied to clipboard
Add binders to async primitives
https://hackage.haskell.org/package/async-2.1.0/docs/Control-Concurrent-Async.html