Malcolm Law

Results 11 issues of Malcolm Law

As we have a Wenyan json, maybe we could have a Wenyan markdown OwO. Even though Markdown's syntax is simple enough, it's still interesting to create a Wenyan version. I've...

related-project

I don't know whether it is duplicated. Is it possible to add a new syntax for calling non-currying functions? (Like some built-in functions or some in other packages. It could...

### Describe the bug The server can successfully start yesterday but, it does not work today. When checking the log, the Metals version used yesterday is 0.11.0, but today is...

improvement

> (用中文算了) > 虽然不玩明日方舟,但至少写过FGO的脚本。 对于16:9的界面: 我觉得可以使用OpenCV里面的`cv2.resize()`来把截图给调整到template image的size来进行`cv2.matchTemplate()`,然后根据比率返回放大后的坐标就好了。我觉得这一步可以直接在截图的步骤里解决。

使用这行语句显示的代码没有分行: ```{% include_code lotto cpp lotto.cpp %}``` 一般情况下的的代码没有问题

**The Bug** **Notice how `D` has a different color to `C` in line 14** (Both in `Ayu Dark` and `Community Material`) **Expected behavior**: `D` should probably have the same color...

这几行代码 `ballimg.add(ImageIO.read(new File("src\\img\\huaji2.png")));` `ballimg.add(ImageIO.read(new File("src\\img\\huaji4.png")));` `ballimg.add(ImageIO.read(new File("src\\img\\huaji3.png")));` 似乎要改成 `ballimg.add(ImageIO.read(new File("src/img/huaji2.png")));` `ballimg.add(ImageIO.read(new File("src/img/huaji4.png")));` `ballimg.add(ImageIO.read(new File("src/img/huaji3.png")));` 才能正常运作(至少在Mac上的IDEA是这样) QAQ萌新一个

Github有提供Release选项,里面会记录所有release的版本,不建议将其在README中列出。

Add support for GADTs - GADT-reasoning in pattern matching (type annotation needed) - Typing for type selections - Parsing the wildcard type `?` in type arguments - use `as` keyword...

> **Note**: part of #195 Changes: - Parsing - type member declaration with bounds `Foo[type A extends L restricts U]` - type selection `x.A` - `as` operator - wildcard type...