typst-agda-spec-4: Add the hydra-agda package (MAlonzo extraction) and CI gate - #2787

typst-agda-spec-4: Add the hydra-agda package (MAlonzo extraction) and CI gate#2787

noonio wants to merge 1 commit into

typst-agda-spec-3cardano-scaling/hydra:typst-agda-spec-3from

typst-agda-spec-4cardano-scaling/hydra:typst-agda-spec-4Copy head branch name to clipboard