Using tsc version 1.0, Mutability, fixes

UCSD-PL / refscript

Refinement Types for Scripting Languages

BSD 3-Clause "New" or "Revised" License

65 stars 3 forks source link

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Most tests succeed. The ones that fail are due to features we don't support rather than bugs.