Skip to content

feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3) - #150

Merged
hyperpolymath merged 6 commits into
mainfrom
proofs/reversibility-grade
Oct 13, 2026
Merged

feat(proofs): reversibility as a Loss grade — Agda kernel module pinned to resource-algebra (JNK-01, B of 3)#150
hyperpolymath merged 6 commits into
mainfrom
proofs/reversibility-grade

fix(abi): real jk_* FFI, ABI typechecks under Idris2 0.8.0, gates and…

ad0c833
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar