Skip to content

Promote DataCon in matchTyCon#1828

Open
nikivazou wants to merge 7 commits intodevelopfrom
propoteDC
Open

Promote DataCon in matchTyCon#1828
nikivazou wants to merge 7 commits intodevelopfrom
propoteDC

Conversation

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant