Skip to content

Port Maybe's Generic instance to this repo - #55

Merged
JordanMartinez merged 1 commit into
purescript:masterfrom
JordanMartinez:portGenericReps
Dec 25, 2020
Merged

Port Maybe's Generic instance to this repo#55
JordanMartinez merged 1 commit into
purescript:masterfrom
JordanMartinez:portGenericReps

Conversation

@JordanMartinez

Copy link
Copy Markdown
Contributor

No description provided.

Comment threadsrc/Data/Maybe.purs Outdated
@JordanMartinez
JordanMartinez merged commit 4e6a10f into purescript:masterDec 25, 2020
@JordanMartinez
JordanMartinez deleted the portGenericReps branch December 25, 2020 01:10
Sign up for freeto 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.

3 participants

@JordanMartinez@garyb@kl0tl