roc/crates/compiler/checkmate
dependabot[bot] f43c6b2026
Bump braces from 3.0.2 to 3.0.3 in /crates/compiler/checkmate/www
Bumps [braces](https://github.com/micromatch/braces) from 3.0.2 to 3.0.3.
- [Changelog](https://github.com/micromatch/braces/blob/master/CHANGELOG.md)
- [Commits](https://github.com/micromatch/braces/compare/3.0.2...3.0.3)

---
updated-dependencies:
- dependency-name: braces
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
2024-06-19 21:13:36 +00:00
..
src Fix types 2023-07-17 10:10:50 -05:00
www Bump braces from 3.0.2 to 3.0.3 in /crates/compiler/checkmate/www 2024-06-19 21:13:36 +00:00
build.rs Fix some checkmate bad schemas 2023-07-17 09:51:01 -05:00
Cargo.toml Dump roc checkmate 2023-07-17 09:51:01 -05:00
README.md First pass of checkmate schema 2023-07-17 09:47:57 -05:00
schema.json Fix types 2023-07-17 10:10:50 -05:00

checkmate

A tool to debug the solver (checker + inference + specialization engine).

See the document.