Skip to content

Migrate all remaining .lagda files #944

@williamdemeo

Description

@williamdemeo

There are only a few .lagda files remaining so I think we can handle their migration in a single PR.

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions