Skip to content
Back to pull request #6562

Use Agda Haskell lib instead of MAlonzo #1447

Sign in to view logs

Use Agda Haskell lib instead of MAlonzo

Use Agda Haskell lib instead of MAlonzo #1447

Build

Build
succeeded Oct 31, 2024 in 15m 9s