Wednesday, July 15, 2020
- Advertisement -
Speed up your site performance today, Free site transfer, same renewal price


Javascript by rbarreiro · Pull Request #415 · idris-lang/Idris2

On the "should we have another backend" question, I think while we should be careful not to have to maintain too many, JS is too useful to not be included by default. (And, as a tiebreaker, Idris 1 has a JS back end by default.) Beyond that, I'm not really well qualified to comment, so…


Skip to toolbar