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

2020-07-09 14:57:33

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

https://github.com/idris-lang/Idris2/pull/415
Chrome实验功能将限制后台选项卡上的Javascript计时器唤醒
2020-7-6 4:10
巴克莱银行(Barclays Bank)可能会将Wayback Machine用作一些JavaScript的“CDN”
2020-7-5 0:50
Microsoft Lens和CamScanner的开源替代方案
2020-7-4 1:55
RedHat Mandrel使Java成为原生的
2020-7-2 9:51