search

tweag / capability

Extensional capabilities and deriving combinators
BSD 3-Clause "New" or "Revised" License
214 stars 9 forks source link

Derive HasStream using HasWriter of DList #18

Closed aherrmann closed 6 years ago

aherrmann commented 6 years ago

See https://github.com/tweag/capabilities-via/pull/15#discussion_r209308797