4 ms·
I was delighted to see that both idris and agda have JavaScript backends. Is there actually any productive use for that? Particularly looking at all the excitem
by riedel 7y ago
I was delighted to see that both idris and agda have JavaScript backends. Is there actually any productive use for that? Particularly looking at all the excitement around Reason .
- gergoerdi 7y agoHere's a toy example: a single-page web app written in Idris. https://github.com/gergoerdi/icfp-bingo-2017-idris https://github.com/gergoerdi/icfp-bingo-2017-idris