search

UCSD-PL / refscript

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

Tvar intersection #96

Closed panagosg7 closed 9 years ago

panagosg7 commented 9 years ago

Addressing #90

panagosg7 commented 9 years ago

Simple fix. Merging...