polarity-lang / polarityLinks

A Language with Dependent Data and Codata Types
121Updated last week

Alternatives and similar repositories for polarity

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

Sorting: