GitHub repository: tweag/capability
Primary language: Haskell
Description: Extensional capabilities and deriving combinators