Skip to content

Change to attempt to infer wrapped and folded types #40

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
polytypic wants to merge 1 commit into
base: 1ml-prime
Choose a base branch
from
Open

Change to attempt to infer wrapped and folded types #40

polytypic wants to merge 1 commit into from

Conversation

@polytypic
Copy link
Member

@polytypic polytypic commented Jun 7, 2020 •
edited
Loading

Related card.

@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch 5 times, most recently from f8a01c0 to f99beb1 Compare June 14, 2020 08:05
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch 2 times, most recently from 2de7364 to 0673018 Compare June 16, 2020 17:59
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 0673018 to ce357c0 Compare June 19, 2020 17:56
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch 3 times, most recently from 3775867 to eae9652 Compare June 23, 2020 22:05
@polytypic polytypic force-pushed the 1ml-prime branch 2 times, most recently from acfe480 to 69fcb8d Compare June 28, 2020 10:30
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from eae9652 to 787c1d5 Compare June 28, 2020 15:08
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 787c1d5 to 4b0bb8a Compare June 30, 2020 11:16
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 4b0bb8a to 2e81bab Compare June 30, 2020 18:58
@polytypic polytypic force-pushed the 1ml-prime branch 7 times, most recently from 0b0a19e to 486657d Compare July 4, 2020 09:18
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 2e81bab to 13e0af1 Compare July 4, 2020 09:28
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 13e0af1 to 6cd4b01 Compare July 4, 2020 10:36
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 6cd4b01 to dc3eb37 Compare July 4, 2020 10:41
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from dc3eb37 to 68246d3 Compare July 12, 2020 07:59
@polytypic polytypic force-pushed the 1ml-prime branch 2 times, most recently from 5215375 to 4651edb Compare July 20, 2020 09:09
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 68246d3 to 4eaa9ed Compare July 20, 2020 10:40
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 4eaa9ed to 56666ff Compare July 21, 2020 14:33
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 56666ff to b2e31e9 Compare July 21, 2020 15:51
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch 2 times, most recently from 12e9862 to b6660a7 Compare July 28, 2020 14:14
@polytypic polytypic force-pushed the 1ml-prime branch 2 times, most recently from 59f2865 to 00bc488 Compare August 3, 2020 02:21
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from b6660a7 to 2458afb Compare August 3, 2020 03:50
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from 2458afb to bc7a13b Compare August 10, 2020 06:42
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from bc7a13b to dcc3ca1 Compare August 24, 2020 03:55
@polytypic polytypic force-pushed the infer-wrap-and-fold-types branch from dcc3ca1 to 894129a Compare August 24, 2020 05:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@polytypic