roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-10-05 14:47:18 +03:00
Code Issues Packages Projects Releases Wiki Activity
df3d04e92d
roc/crates/compiler/checkmate
History
Brian Teague 60c639b60e
Consolidate gitignore 
Keep certain files with no file extension

Keep specific files with no file extension

Delete all gitignore files
2024-01-10 22:16:04 -05:00
..
src Fix types 2023-07-17 10:10:50 -05:00
www Consolidate gitignore 2024-01-10 22:16:04 -05: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

README.md

checkmate

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

See the document.