Visual Logic

About

Visual Logic is a tool for formal logic by manipulating Existential Graphs.

Read more about using it under the wiki

Development

Start by cloning the project, installing dependencies and then run the page locally.

Dependencies are managed by npm, currently the following packages are used:

• Jest - used for testing
• serve - used to run a local development server
• babel - used to allow Jest to run with ESM
• eslint - used for JS linting

Installing dependencies. From the root directory of the project run the command:

npm install

Viewing the application locally

npx serve

The above command will start a local server, copy the URL the project is locally hosted at and view the application in a web browser.

Testing

To run the test suite and generate coverage, run:

npm test

Individual files can be run by:

npm test -- tests/foo.test.js

The linter can be run with the command:

npm run lint

Some errors can be fixed automatically by eslint by running the command

npm run lint:fix