Skip to content
This repository has been archived by the owner on Mar 8, 2021. It is now read-only.

ADT syntax #15

Open
aboeglin opened this issue Nov 8, 2020 · 0 comments
Open

ADT syntax #15

aboeglin opened this issue Nov 8, 2020 · 0 comments
Labels
📘 proposal An idea for a thing

Comments

@aboeglin
Copy link
Contributor

aboeglin commented Nov 8, 2020

Consider and discuss changing ADT constructor syntax to the following:

data Maybe a = Just(a) | Nothing
@brekk brekk added the 📘 proposal An idea for a thing label Dec 9, 2020
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
📘 proposal An idea for a thing
Projects
None yet
Development

No branches or pull requests

2 participants