Skip to content
This repository has been archived by the owner on Jun 1, 2022. It is now read-only.

Remove Void type #612

Open
jonhue opened this issue Mar 19, 2021 · 0 comments
Open

Remove Void type #612

jonhue opened this issue Mar 19, 2021 · 0 comments
Assignees
Labels
enhancement New feature or request

Comments

@jonhue
Copy link
Member

jonhue commented Mar 19, 2021

because it's implemented in the prelude.

@jonhue jonhue added the enhancement New feature or request label Mar 19, 2021
@jonhue jonhue self-assigned this Mar 19, 2021
@jonhue jonhue closed this as completed Mar 20, 2021
@jonhue jonhue reopened this Mar 21, 2021
@jonhue jonhue added this to Core Nov 19, 2021
@jonhue jonhue moved this to In Progress in Core Nov 19, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
Status: In Progress
Development

No branches or pull requests

1 participant