Patrick Nicodemus
Patrick Nicodemus
If `mydb` is an extant hint database, then "Create HintDb mydb" clears that database and replaces it with a new, empty hint database. This behavior makes it very difficult to...
It explains in the README that a goal for Koka is to support array programming better in the future, and I wanted to ask what that might look like, and...
Hi, I am an Emacs user and I was wondering if the language server is compatible with Eglot or lsp-mode out of the box? I think in theory these tools...
Hi, it is me again. Would it be possible for you to build wheels for Python 3.12? I cannot install this from source on my machine running Ubuntu 24.
I started trying to set up ocaml-tree-sitter to work with https://github.com/milisims/tree-sitter-org. I ran into one problem mentioned in another issue #78, however I patched that one just by renaming "non-immediate"...
https://github.com/semgrep/ocaml-tree-sitter-core/blob/b7d8468878aabb138753ac4d0d1258bc73a975ef/src/gen/lib/Type_name.ml#L56 I want to use a grammar which contains hyphens in some strings, i.e., ``` "_tag_expr_start": { "type": "TOKEN", "content": { "type": "PREC", "value": "non-immediate", "content": { "type": "STRING", "value":...
This is probably doable but none of the examples in the gallery illustrate how to do it, which suggests that it's not obvious how to do it. A quick scan...
If my variable is less than 10^-8 or so, then the #[trace] attribute just prints: ``` common.fut:182:20-37: 0.000000 ``` It would be helpful if it was available in scientific notation....
I added some dependencies that weren't explicitly listed in the dune files. I think these problems have already fixed in later dune versions but I wanted to backport them to...
I think the documentation for Ltac2's semantics is difficult to understand for beginners and I want to make it more accessible by adding more examples and details.