Online demo seems not working

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

Open xiaoxiangmoe opened 6 years ago

panagosg7 commented 5 years ago

Sorry @xiaoxiangmoe, this project has not been maintained for a couple of years now.