|
|
|
|
|
|
by mbizzle88
3292 days ago
|
|
|
I recently experimented with the Idris JavaScript backend and it is not ready for prime-time. In particular, the FFI doesn't handle functions well. I was unable to call into Idris code from JavaScript which is a deal-breaker, IMO. |
|
|