Gera Weiss comments

Repositories
Issues
Comments

Results 2 comments of


                                            Gera Weiss

Ensure b-threads maintain their closures (if any), during analysis and execution

And `e` should be maintained as part of the b-thred's state in verification.

\{\{ in KateX is mistakenly interpreted as a JS code.

### Workaround As a temporary workaround, I added a custom Markdown transformer that escapes `\{\{` inside LaTeX math blocks before Vue’s compiler processes the file. This prevents Vue from interpreting...