neel-krishnaswami / linearmlLinks

A simple implementation of linear type theory
38Updated 8 years ago

Alternatives and similar repositories for linearml

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

Sorting: