Use Agda Haskell lib instead of MAlonzo #6562
Merged
IOG Hydra / ci/hydra-build:x86_64-linux.required
succeeded
Nov 5, 2024 in 0s
Build succeeded
0 failed steps
Loading