The project is not longer maintained. I recommend the Logic Workbench GUI lwb-gui as a simple graphical user interface to the Logic Workbench.
lwb-ui uses proto-repl and ink als plugins in the atom editor. Unfortunately it seems that proto-repl is not maintaindes anymore. The current version of proto-repl doesn't work with the newest version of ink.
That's the reason, why this project is deprecated.
-- 2020-01-15
This is a small wrapper around the Logic Workbench.
Just execute the Lwb Ui: Toggle command from the Command Palette inside of atom.
- first clone this repository
- then initialize the
plugin/submodule using:git submodule initgit submodule update
For development
npx shadow-cljs watch lwb-ui
To compile for release (:simple optimizations), use
npx shadow-cljs release lwb-ui
After you have done that, go into the plugin/ folder and run for a local installation
in atom
apm install
apm link
lwb-ui should now be installed inside atom!
More about lwb-ui Documentation