DEVELOPER_NOTES.md

Overview of regular commands for working and developing vikos

Building

• cargo build makes a simple build.

Execute Tests

Tests are run using cargo test.

Executing Examples

The examples in the examples/ directory can be compiled and run using cargo run --example <example-name>. So cargo run --example mean will compile and run the file examples/mean.rs.