Malcolm Law

It doesn't seem working. (importing or restarting also don't work)

Thanks, but I think I would use bsp for now :(

Try to check the following items: 1. check whether the folder __assets__ exists or not, and make sure every item in the folder is the same as those on GitHub...

嗯，您好，其实这个项目已经弃坑了orz，因为我搞了一个新的脚本，在FGO-One那个repo里面QWQ。实在不行的话，还是麻烦详细描述一下遇到的问题QAQ 不过这里倒是有几个点要注意。需要1080p的Android手机，电脑要按照adb，和脚本里用到的库。。。

Known issue: recursion depth exceeded (infinite extrusion loop) when typing certain terms (see `GADT3.mls` and `GADT5.mls` etc) Observation: it seems that the loop follows a pattern of: `a''# & S

**Not** included in this PR: - pushing type alias member to type members i.e. `class Foo { type T }`

I don't quite understand this part: `Splice(TupleType(a :: b :: Nil), c, TupleType(d :: Nil))`, is using `TupleType` here purely for convenience? I wonder if it would be cleaner to...

Basically what I found that in TypeScript: 1. in functions: the rest argument `...rest: any[]`, can only be the **last** argument 2. in arrays: there can only exist **1** rest...

Oh yes, I think I'm talking patterns when defining functions and type annotations 😂 Because we cannot do the following: ``` typescript let ys: [number, number, ...number[], string, ...boolean[]] function...