Include extra source files *.lagda.md instead of *.agda (#4186)
#1193
The logs for this run have expired and are no longer available.
Loading
*.lagda.md instead of *.agda (#4186)
#1193