search

tweag / capability

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

Module header haddocks and Accessor examples #45

Closed aherrmann closed 6 years ago

aherrmann commented 6 years ago