clone

a browser grid puzzle game where you push words around to rewrite the rules of each level

feat: warn on overlong proof titles

Dami committed f3c751c
commit
f3c751c5ff2252e74022186018b6f5914a422a5c
parent
eebb18d8af98e494f4cc12c20ab0723ca597a3ba
author
Dami <dami.etoile@gmail.com>
3 files changed, +39 -5
Mopenspec/changes/add-proof-title-diagnostics/tasks.md10+++++-----
Msrc/mods/diagnostics.js11+++++++++++
Mtests/mods.test.js23+++++++++++++++++++++++
M openspec/changes/add-proof-title-diagnostics/tasks.md +5 -5
M src/mods/diagnostics.js +11 -0
M tests/mods.test.js +23 -0