cl-type-i

v 20230127 Updated: 1 year, 4 months 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 0
Requested Installations 0