search

UCSD-PL / refscript

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

Add -= operator #81

Closed BenjaminCosman closed 10 years ago

BenjaminCosman commented 10 years ago

Also added a dummy Boolean interface to prelude.

panagosg7 commented 10 years ago

Thanks!