Skip to content

typst-agda-spec-6: Document the Agda formalisation and record the changelog entry - #2789

Closed
noonio wants to merge 3 commits into
typst-agda-spec-5from
typst-agda-spec-6
Closed

typst-agda-spec-6: Document the Agda formalisation and record the changelog entry#2789
noonio wants to merge 3 commits into
typst-agda-spec-5from
typst-agda-spec-6

Document the Agda formalisation and record the changelog entry

16e3f09
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar