You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Integrate the Haskell code emitted from agda-spec into CI#1344
Merged
geo2a merged 2 commits intojavierdiaz72/agda-spec-to-haskellIntersectMBO/ouroboros-consensus:javierdiaz72/agda-spec-to-haskellfrom geo2a/issue-1312-agda-specIntersectMBO/ouroboros-consensus:geo2a/issue-1312-agda-specCopy head branch name to clipboardDec 16, 2024
