Skip to content

Updating AllTests.agda

5767b4f
Select commit
Loading
Failed to load commit list.
Merged

Adding "type" prefix before type operator imports #194

Updating AllTests.agda
5767b4f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs