CanftIn
One leak \ head file. Another is `ucontext` to `uncontext_t`. The third error appears in delegate file. I didn't fix and just delete related files to let compile pass. delegate...
I test some Unicode encoded languages in todo context and switch by . Switch operating does not work. I think it might be regex not supporting unicode.  I try...
vscoq works well with coq8.5 but not supports the recent version(coq8.9),just a wish it can support :)
### I've searched open issues for similar requests Yes ### I've recently downloaded the latest plugin version of mason.nvim - [X] Yes ### Problem description I'm working on Ubuntu 22.04...
```sh (base) canftin@DESKTOP-4QK14RE ~/workspace/codon_ws/codon/build> gdb -args codon run ../.vscode/debug/test_fib.py GNU gdb (Ubuntu 15.0.50.20240403-0ubuntu1) 15.0.50.20240403-git Copyright (C) 2024 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later...
When i debug for frontend infra of codon, i found there is no existing api to dump the raw AST like that SimplifyVisitor can dump a S-expr string. The api...
hi, i found [pip link](https://pypi.org/project/instaviz/) is different from github source code, pip is version 0.6.0. pip show api is: ```python def show(obj): """ Start a web server and show `obj`...