Skip to content
🦕 Docusaurus Site

Use Agda Haskell lib instead of MAlonzo #425

Sign in to view logs

Use Agda Haskell lib instead of MAlonzo

Use Agda Haskell lib instead of MAlonzo #425

Run time

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