Johann Rudloff

We ran into a similar issue (with App Insights / FunctionApp request counts): the value collected by Promitor was always "exagerated" by a constant(?) factor. I was able to fix...

Hi, thanks for the quick response! It's good to hear you're aware of the issue, unfortunately it did not turn up in my quick search. I initially noticed this, because...

@maxdeviant Being unaware of your fork, I implemented a JavaScript backend in my fork: [feature/codegen-es](https://github.com/cypheon/Idris2/tree/feature/codegen-es) For now, the backend is directly generating the code by building a (long) string, but...