Removing dependency on language ecmascript

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

Closed panagosg7 closed 9 years ago

panagosg7 commented 9 years ago

Replacing with files in src/Language/Nano/Syntax/* and src/Language/Nano/Syntax.hs