Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
Ok, so then maybe forbidding and erroring out early might be a good idea. I think a combination would be good. That is, the set of accepted white-listed characters should...
So we could still also allow `-` and sanitize it in JS while forbidding emojiis.
> We might want to enforce this in file names as well. As long our "module system" work like it does, we also might want to check that file names...
> Ok, should `hello-world`, `hello_world` and `hello/world` be different? Then we can't just replace all of them with `_`. (Although this admittedly is a corner case.) You mean, because then...
This is related to #30, where @phischu collected some requirements on a "module system". It is also related to how the FFI works and how we determine what the "entrypoint"...
> For some reason, fibonacci.effekt works on my machine but fails in the CI. Maybe stack size?
If we absolutely have to add `EviAdd` then I would call it something like `ComposeEvidence`.
Why does `There` take another evidence? It should just alias the number `1` IIUC.
From today on, I cannot run the intel version anymore since Zoom force-updated me :(
Hey, does anybody know whether it is supposed to be supported in the future? I am surprised to find it in the docs: https://dotty.epfl.ch/api/scala/annotation/elidable.html but get the same message as...