The sound of soundness.
In rust_rocq
This is how to pass in the rocq file and the midi device's ID.
cargo run -- test.v --midi-device 2To list available midi devices and their IDs:
cargo run -- test.v --midi-device -1| Name | Name | Last commit date | ||
|---|---|---|---|---|
The sound of soundness.
In rust_rocq
This is how to pass in the rocq file and the midi device's ID.
cargo run -- test.v --midi-device 2To list available midi devices and their IDs:
cargo run -- test.v --midi-device -1