cl-type-i

v 20230127 Updated: 11 months, 3 weeks ago

Type Inference Utility on unary type-checking predicates


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

To install cl-type-i, paste this in macOS terminal after installing MacPorts

sudo port install cl-type-i

Add to my watchlist

Installations 2
Requested Installations 1