Home

The big idea

A platform that takes in easy-to-understand and easy-to-write logical statements and does fun things with them, like checking their consistency.

Right now, two ways:

The compiler, which is a jar file generated from this repo's CI that can be used like gcc or javac to change logic-app input into something sexy (see features section).
A website, which is containerised and continually deployed. It has its own simple text-editor which does syntax highlighting, code warnings and compilation - all from the comfort of your browser.

(IDE integration is low priority)

For running the compiler or accessing the website, see Running and Deployment.

Check the wiki sidebar for info on the project.