Haitao Zhang
Haitao Zhang
Hi Markus, nice to see ediprolog on github. I made some changes to make it work on Windows. I also recently added support to XSB. I hope you like the...
`Souffle`'s cmake recipe [uses `lld` when `clang` is specified](https://github.com/souffle-lang/souffle/blob/master/CMakeLists.txt#L106-L110). This is unadvisable for `macos` as `lld` is not supported on `macos`. Currently this can be worked around by building with...
I tried to follow the tutorial after ```opam install``` on a Mac. I have observed the following problems: 1. In `vscode` LSP server would not start until I created the...
I am writing a plugin that uses Katex to preview math formulas. What I found is that when Katex throws a uncaught error the editor also freezes. This was solved...
I wonder if you have considered working with an editor in browser instead of VSCode. The Monaco editor underlying VSCode is [available independently](https://microsoft.github.io/monaco-editor/). I imagine there is a lot more...
Is there a way to establish an equivalence relation (other than the structural one "=") that respects substitution? If I specify: ```eq (F X) (F Y) :- eq X Y.```...
For example: ``` utop # t1;; - : term = `\x. s x` utop # x1, type_of x1;; - : term * hol_type = (`x`, `:A->bool`) utop # let s1...
I have adapted ```HOL Light``` to compile natively. Now one is no longer restricted to a particular version of OCaml! However it is just a start. For details see [the...