cl-type-i

v 20230127 Updated: 2 years, 3 months ago

Type Inference Utility on unary type-checking predicates


https://github.com/guicho271828/type-i

To install cl-type-i, paste this into the macOS Terminal after installing MacPorts

sudo port install cl-type-i

Add to my watchlist

Installations 1
Requested Installations 0