Daan

Hi @1ntEgr8 -- yes, there are many things to do, and some may be good for a Master's project. If you are interested, maybe it is best to write me...

Ha, welcome Olli :-) Apologies for the late reply but it's a busy week. The error you see is actually a limitation of the runtime system. At the moment, the...

Interesting :-) However, there is currently no way to pre-empt code; even though loops are function calls in Koka, these are optimized back to direct loops in the C code....

Hi @philderbeast , apologies for the late reply and thanks for trying Koka :-) Yes, the `ddouble` tests tend to fail as different systems have slightly different (rounding) results for...

Hi @tjpalmer , yikes, that is embarrassing -- all these fancy effects but no readline :-) The underlying reason is that `readline` is actually not so easy and the plan...

Ah, the `readline` function is only for the C backend for now... The C# backend is behind and currently not working (although it could be made to work with not...

Nice source -- I see you use `srandom-int32-range` which provides strong random numbers. You may want to use `random-int()` though which has the `random` effect. You than handle that using...

I think it is fixed now -- should have tested on Linux :-) (ps, if you are ok can you show me how to do a synchronous readline on NodeJS,...

Great, yes, it'll go in the next release. The `random` and `ndet` effects are interesting: `ndet` is builtin for true non-determinism like, say, the result of listening on a network...

Thanks for the node readline trick -- that should work I think. I see that the WASM-4 has 64 KiB memory ... currently Koka is targeting 32- and 64-bit systems...