Haitao Zhang

Here is a recap of the issue in case I wasn't clear: 1. Apple Clang can compile using the current cmake script but it does not support OpenMP. The reason...

Question: Does Souffle remember the compiler discovered in the build process and use it later for compiling the generated code? I assume compiling Souffle's generated code similarly benefits from `OpenMP`...

@eschulte Brew does not use non-system compilers by default even if you have `brew install`ed them. I need to set the environmental variable `HOMEBREW_CC=gcc-11` and then `brew install --HEAD souffle-lang/souffle/souffle`...

Yes the main benefit is to provide a browser GUI to Leo. As you mentioned somewhere else Qt is not really the best UI choice. For example there is no...

Also in the long term freedom of the browser UI might allow more creative modes of interaction. Certainly integration with `leovue` like feature would be welcome.

Maybe a more compelling example would be to run the backend on a server and now you can view and edit your outlines on a phone or a tablet.

Does `leojs` reimplement Leo functions in Typescript? In a browser we have rather limited access to the local file system. A server is likely needed to make things run smoothly,...

I think Dandelion, which rhymes with Dandy+Lion could be an interesting project name. It harkens back to a root in Leo but also implies difference and (hopefully) improvement.

One of the early decisions to make architecture wise is whether editor motions should be managed on the client side or server side. If it is to be on server...

Suppose the backend just manages the DAG nodes and file related actions, very little of the Leo code base is actually needed. And you have ported these functions to ts...