Godai Takashina

I did some experiment and noticed some points. - `\eqn` uses `embed-block-breakable`, followed by `omit-skip-after`. - `+proof` put `inline-fil` and some endmark character at the end of commend. In the...

As @leque pointed out, `Main__PageBreak.chop_single_column.normalize_after_break.omit_redundant_clear` is the line where assertion fails. ```diff --- a/src/backend/pageBreak.ml +++ b/src/backend/pageBreak.ml @@ -105,7 +105,8 @@ let chop_single_column (pbinfo : page_break_info) (area_height : length) (pbvbls |...

I think it is convinient if the `telescope.nvim`s builtin `vim_buffer_vimgrep` previewer itself supports this type of customization. But currently it seems that `telescope.nvim` team generally do not want addition or...

~~雑な検証ですが、自分の環境では下の設定でちゃんと動いてそうに見えました。~~ かな -> 漢字変換はできませんでした ```vim call skkeleton#register_kanatable("rom", { \ " ": ["　"], \ }) ]]) ```  ### 環境 - MacOS: 13.3.1 - Neovim: 0.9.5 - deno: 1.39.2 -...

これ、全角スペースが入力できないじゃなくてかな漢字変換が開始できないほうの問題だったんですね 完全に勘違いしてました、すみません

はじめまして、素晴らしいサービスをつくってくださりありがとうございます! 昨日から利用させていただいております。 Promise.all の問題について上と同様に、playground 上では error が出ないが type-challenges-judge 上で提出すると wrong answer 扱いになる事象にあたったので、報告します。 ご参考になれば幸いです。 https://type-challenges-judge.pages.dev/problems/00020-medium-promise-all/submissions/HcPTcixM0K98tgJOtLHX リンク先の内容と同じですが、提出コードは以下になります。 ```typescript type Helper = T extends PromiseLike ? Helper : T; declare function PromiseAll(values: readonly...

Simple Vue でも同様の問題があるようです https://type-challenges-judge.pages.dev/problems/00006-hard-simple-vue/submissions/Di8DlNGTeTpzGFtzkZdi

上の件について、個人的に原因を調べて見当がついたのでお知らせします。 - Promise.all lib の指定の問題であるようです。 現在、(コピーした) `lib.es5.d.ts` を使う設定になっていますが、`Promise` を値として使うために es2015 以上の使用が必要であるようです。 - Simple vue compile option の問題であるようです。 この問題では `ThisType` を使用しますが、このときに `noImplicitThis` オプションを有効にする必要があるようです。 https://www.typescriptlang.org/docs/handbook/utility-types.html#thistypetype 該当部分の修正について手元では行うことができたので、差し支えなければ pull request を送らせていただきたいと思っていますが、問題ないでしょうか?

Thank you for great plugin! I recently developed [plugin utilizing image.nvim](https://github.com/sankantsu/gin-diff-image.nvim). image.nvim saved a lot of work for correctly handling scrolling/redrawing tasks! I did some research about luarocks and lazy.nvim,...