Andy Lok

> I'm also asking this because we could also dedicate this syntax to named positional application rather than type declaration. I think the named positional application would not overlap on...

I'll feel a bit awkward if they're identical: - `"hello".(printLn . (+3) . length) ` - `"hello".length.(printLn . (+3))` - `"hello".length.(+3).printLn`

I have the same problem on win10. I've found that the prefix generated in `dist/idris2.c` is incorrect. I fixed the first line and rebuilt the idris2 binary, then I could...

I hand-wrote the absolute prefix path into dist/idris2.c as: ```c char* idris2_prefix = "C:\\Users\\Andy\\.idris2"; ```

Thanks for your quick reply! I think we can't wait for multiple months. But why will it take that long as you have mentioned that `rust-ctor` and `cpu-affinity` are cross-platform?

Oh, I've just misunderstood. I thought you were saying it'll take several months to review the PR. Definitely, we'd like to make a PR but we've decided to stick with...

Since there are too many functions here, and also because we may implement many of them in one PR, I propose instead of opening sub-issues, we just leave a comment...

@jiaoew1991 Glad to see you again! I've added some instructions to the issue, please let me know if anything is not clear. 😉

I think we can just implement `Variant`, aka. `Json`, for now. Because I'm going to implement a static typed `Map` so that `JsonObject` is semantically equal to `Map`.

@b41sh Can we replace `serde_json::Value` with `common_expression::values::Scalar`?