search

tweag / capability

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

Fix CI errors due to warnings #76

Closed aherrmann closed 5 years ago

aherrmann commented 5 years ago

CI failed due to warnings and -Werror.