Comment Comment by gcanti what's the state of the JavaScript backend? I do frontend and I'd really love to write some code in idris parent gcanti 10 years ago
