Skip to content

Merge branch 'agda:master' into negation-fixity-fix

27dca1e
Select commit
Loading
Failed to load commit list.
Closed

Fractional (1.5) fixity for Relation.Nullary.¬_ #1999

Merge branch 'agda:master' into negation-fixity-fix
27dca1e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs