search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

Add support for non-linear multiplication #93

Closed ranjitjhala closed 9 years ago

ranjitjhala commented 9 years ago

(Should have a command line parameter...)