Simple GUI for the Logic WorkBench lwb
needs Java 9 or newer
Start with
Mac OSX
java -Duser.language=en -Xdock:name=lwb-gui -jar lwb-gui.jar
Linux and Windows
java -Duser.language=en -jar lwb-gui.jar
This revision:
Presentation combinatory logic, typo in Y combinator!!