CLI tweaks #22

Merged

HEL merged 3 commits from fix/cli-tweaks into main 2026-06-24 12:18:08 +00:00

Conversation 0 Commits 3 Files Changed 3

+30 -7

3 Commits

Author	SHA1	Message	Date
HEL	32ed62a6f1	fix(cli): show summary of diagnostic counts	2026-06-24 14:11:39 +02:00
HEL	66f39acec0	fix(cli): show all diagnostics in types command ... combine type checker diagnostics with judgements info diagnostics	2026-06-24 14:11:15 +02:00
HEL	6c04e2fee4	feat(cli): add compile option to ignore errors	2026-06-24 14:10:30 +02:00