Skip to content
🦕 Docusaurus Site

Use Agda Haskell lib instead of MAlonzo #470

Sign in to view logs

Use Agda Haskell lib instead of MAlonzo

Use Agda Haskell lib instead of MAlonzo #470

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run
1m 28s
1m 28s