Closed jcivlin closed 1 year ago
Also VS Code config is removed.
any reason we want to remove this?
Also VS Code config is removed.
any reason we want to remove this?
It should be local only. One that I use is very different and I need to maintain it manually because there is one in the repo.
Small corrections, in particular, a passed function parameter should be an Option rather than Result.
Also VS Code config is removed.