moon/zygotec/tests/xref.baseline, branch work/prover
work-in-progress programming language.
https://git.downsta.ir/moon/zygotec/atom?h=work%2Fprover
2026-10-14T12:11:56+00:00
xref: checked-in baseline, --check self-test hooked into the lsp section, todo
2026-10-14T12:11:56+00:00
zinc
zinc@downsta.ir
2026-10-14T12:11:56+00:00
urn:sha1:1660c16f4f296dee8c1efc972d4671208ed05a8d