Migrate all remaining .lagda files #944
Description
There are only a few .lagda files remaining so I think we can handle their migration in a single PR.
{{ message }}
Migrate all remaining
.lagda files #944There are only a few .lagda files remaining so I think we can handle their migration in a single PR.