Skip to content
Check the Agda files

Merge pull request #22 from pmbittner/2ADT-to-NADT-to-CCC #82

Sign in to view logs

Merge pull request #22 from pmbittner/2ADT-to-NADT-to-CCC

Merge pull request #22 from pmbittner/2ADT-to-NADT-to-CCC #82

Run time

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