polarity-lang / polarityLinks

A Language with Dependent Data and Codata Types
104Updated 2 weeks ago

Alternatives and similar repositories for polarity

Users that are interested in polarity are comparing it to the libraries listed below

Sorting: