Refactor: use List1 in ShadowedModule #106
Annotations
1 error
|
Install dependencies for Agda and `agda-tests` (i.e. the test suite).
Process completed with exit code 1.
|
Loading
|
Install dependencies for Agda and `agda-tests` (i.e. the test suite).
Process completed with exit code 1.
|