docs+fix: README.md → README.adoc, and fix broken Idris2 test suite (// → -- comments) - #46

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/axiom-jl-registry-infra-kr7t4a

Jul 1, 2026

Commits on Jul 1, 2026

docs: convert README.md → README.adoc (estate .adoc-default policy)
claude
committed
fix(idris2): use -- not // for comments so the test suite typechecks
claude
committed