← all publishers

dada-lang

@dada-lang source repo

Report this profile Claim this profile

• 6 skills
• 0 followers
• 17 hours ago last updated

1. ▌
   Formality Core Idioms · dada-lang

   Idiomatic patterns for writing code with formality-core (a-mir-formality). Covers generated constructors, Upcast/UpcastFrom coercions, judgment_fn! macro patterns,
   0
   installs
2. ▌
   Run Tests · dada-lang

   Run and interpret Dada test results. Use when running tests, debugging test failures, or understanding test output.
   0
   installs
3. ▌
   Author Code · dada-lang

   Conventions for authoring Rust code in the Dada compiler. Use when writing or modifying Rust code, adding functions, or making implementation changes.
   0
   installs
4. ▌
   Write Tests · dada-lang

   Write spec-aligned Dada tests. Use when creating new test files, organizing tests to match the specification, or adding test coverage for language features.
   0
   installs
5. ▌
   Rfc Workflow · dada-lang

   RFC and specification workflow for Dada language features. Use when working with RFCs, writing spec paragraphs, or tracking implementation progress.
   0
   installs
6. ▌
   Tracking Issues · dada-lang

   Track context across sessions for long-running features. Use when starting multi-session work, checkpointing progress, or resuming work on a feature tracked in a GitHub issue.
   0
   installs