Commit 11f8541
committed
Standardize workspace: Justfile migration and A2ML directive cleanup
1 parent 2a43dff commit 11f8541
10 files changed
Lines changed: 89 additions & 706 deletions
File tree
- lithoglyph
- beam/native_rust
- glyphbase/server/native_rust
- lith-http
- native_rust
- tests/property
- nqc/web
- quandledb/frontend
- verisimdb
- elixir-orchestration
- verification/proofs/lean4
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments