dunhamsteve / newtLinks

A toy dependent typed language.
β˜†28Updated last week

Alternatives and similar repositories for newt

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

Sorting: