Tipoca / intuitionisticLinks
Intuitionistic Programming Language
☆12Updated 11 years ago
Alternatives and similar repositories for intuitionistic
Users that are interested in intuitionistic are comparing it to the libraries listed below
Sorting:
Users that are interested in intuitionistic are comparing it to the libraries listed below