Skip to content

Use Agda Haskell lib instead of MAlonzo #426

Use Agda Haskell lib instead of MAlonzo

Use Agda Haskell lib instead of MAlonzo #426

Run

succeeded Oct 24, 2024 in 1m 26s