Skip to content
CI

Set ft=markdown.agda for *.lagda.md #165

Sign in to view logs

Set ft=markdown.agda for *.lagda.md

Set ft=markdown.agda for *.lagda.md #165

Annotations

2 errors

This job was cancelled