search

tweag / capability

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

Remove other-extensions #37

Closed aherrmann closed 6 years ago

aherrmann commented 6 years ago

There is no static check available that ensures that this field is up-to-date. This means it is very likely for this information to become outdated. No information is better than false information. Hence, the field is removed.

aherrmann commented 6 years ago

Duplicate of #36