新的JavaScript代码生成器已在Idris 2中落地

对这个项目有什么问题吗？注册一个免费的GitHub帐户以打开一个问题，并联系其维护人员和社区。