# Combinatory Logic
The Eclipse Project and Source Code for the Combinatory Logic Widget from https://SoftOption.Us

Software for instruction in logic (as used on http://softoption.us ). 
This is the source code for the Combinatory Logic Widget, which is some javascript for 
displaying proofs in combinatory logic. The Widget illustrates intelligent 
editing of derivations. The code is written in Java and the 
project hosted and developed in the Eclipse IDE (Oxygen 3a), with GIT and 
the Google Web Toolkit (GWT 2.8.1) plug-in. The GWT plug-in can run the 
project in Super Dev mode for development. Then it compiles the Java to 
Javascript, which can be embedded in Web Pages (or ePubs, iBooks etc.). 
Various 'switches' in those Web Pages allow the Lambda Widget to be configured. 
Sample Web pages are included.[Code compiles and runs with Eclipse and GWT 5/7/2018]
