[ deprecate ] `README.Inspect`#2928

Closed

jamesmckinna wants to merge 6 commits intoagda:masterfrom

jamesmckinna:deprecate-README-Inspect

Commits on Feb 4, 2026

Commits on Feb 6, 2026

add: forward pointer to the v2.9.0 docs
jamesmckinna
committed

Commits on Apr 8, 2026

fix: link to the documentation
jamesmckinna
committed

Commits on Apr 10, 2026

Merge branch 'agda:master' into deprecate-README-Inspect
jamesmckinna
authored

Commits on Apr 13, 2026

Merge branch 'agda:master' into deprecate-README-Inspect
jamesmckinna
authored