Skip to content

proof: meet the canonical Agda invocation (--cubical-compatible); grades as PWG-3 - #26

Closed
hyperpolymath wants to merge 2 commits into
mainfrom
claude/cubical-compatible
Closed

proof: meet the canonical Agda invocation (--cubical-compatible); grades as PWG-3#26
hyperpolymath wants to merge 2 commits into
mainfrom
claude/cubical-compatible

chore(canon): adopt canon 2.1.5 (port of the secret-types canon PR, s…

efb9aa9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar