Skip to content
agda

formalism: Give brief description of typed action calculus #39

Sign in to view logs

formalism: Give brief description of typed action calculus

formalism: Give brief description of typed action calculus #39

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check all.agda
1m 10s
1m 10s