language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-03 08:34:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6
roc/crates/compiler/checkmate/README.md
Ayaz Hafiz 40223a697d
First pass of checkmate schema
2023-07-17 09:47:57 -05:00

195 B
Raw Blame History

checkmate

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

See the document.