Skip to content
Agda

echo-types: Pillar C — separating model (loss law is genuine structure) #308

Sign in to view logs

echo-types: Pillar C — separating model (loss law is genuine structure)

echo-types: Pillar C — separating model (loss law is genuine structure) #308

Run time

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