Trebor Huang

icon indicating a website link https://trebor-huang.github.io/

icon location Internal cat of a doughnut icon location I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Results 72 comments of Trebor Huang

Add language server configuration

I modified the source and just lied to vscode that we support UTF16

Add language server configuration

They are only correct when the source code is pure ASCII, otherwise they get offset by a bit.