Skip to content

Certifier: add html agda docs to metatheory documentation#7819

Merged
basetunnel merged 1 commit into
masterfrom
certifier-html
Jun 26, 2026
Merged

Certifier: add html agda docs to metatheory documentation#7819
basetunnel merged 1 commit into
masterfrom
certifier-html

Certifier: link to html agda docs from index.html (plutus-metatheory …

d79b442
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar