Skip to content
Agda

[WIP draft] F1 spike checkpoint — genuine graded comonad (feasibility positive, coassoc open) #315

Sign in to view logs

[WIP draft] F1 spike checkpoint — genuine graded comonad (feasibility positive, coassoc open)

[WIP draft] F1 spike checkpoint — genuine graded comonad (feasibility positive, coassoc open) #315

Run time

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