Skip to content

Merge branch 'agda:master' into algebra-literals

8f1aec0
Select commit
Loading
Failed to load commit list.
Closed

Add Number literals for any SuccessorSet #2406

Merge branch 'agda:master' into algebra-literals
8f1aec0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs