search

CategoricalData / CQL

Categorical Query Language IDE
http://categoricaldata.net
299 stars 22 forks source link

Add type inference for open APG terms #38

Open wisnesky opened 5 years ago

wisnesky commented 5 years ago

Complete algorithm: http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html