Set ft=markdown.agda for *.lagda.md #173
Annotations
1 error
|
Build package and tests
Process completed with exit code 127.
|
Loading