Idris2
Idris2 copied to clipboard
Generate only es6
- [ ] I have read CONTRIBUTING.md.
- [x] I have checked that there is no existing PR/issue about my proposal.
Summary
Let's allow to generate only es6 code
Motivation
The purescript team decided moved from common js to es6, now purescript can generate only es6. Why? Because require
is not pure, but import export
is, allows to remove dead code
The proposal
TODO