Modules, Imports, Various 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

All tests (but one - qualifier instantiation) pass.

I'll add more in README.md as we go

panagosg7 commented 10 years ago

I think we can probably advance master as well