robrix / surfaceLinks

Dependently-typed language w/ little to say for itself
10Updated 7 years ago

Alternatives and similar repositories for surface

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

Sorting: