Installation

For Linux (via Nix)

The default.nix file declaratively defines the development environment. Load this environment by running nix-shell in the root source directory: nix-shell .

npm and npx should now be available in the shell environment.

Development

After cloning or updating, and before committing:

• dev/precommit.sh

To run all tests on the command line (and rerun when files change):

• npm test

To run tests in the browser:

• num run testInBrowser

Upgrading

Upgrade nix packages: Follow the instructions in default.nix

Upgrade npm packages:

• npx npm-check-updates to check for updates
• npx npm-check-updates -u to take all updates

Chrome

Enable custom formatters so that you can read Prelude data structures. https://github.com/emmanueltouzery/prelude-ts#using-in-the-browser

Intelij

Settings

• Editor
  • Inspections
    • Javascript and Typescript
      • Async code and promises: enable all and set to error (we don't know how make eslint check for forgetting to await a promise)