Get rid of js backend. - Githubissues

skiplang / skip

A programming language to skip the things you have already computed

http://skiplang.com

MIT License

1.97k stars 66 forks source link

Closed beauby closed 5 years ago

beauby commented 5 years ago

Remove JS backend (as well as wasm);
get rid of nodejs dependency:
- remove skip_depends.js (using explicit dependencies in CMakeFiles);
- translate generate-parse-trees.js into skip.

josephsavona commented 5 years ago

farewell, JS backend! cc @peterhal