Skip to content

Export zipper#8

Draft
raehik wants to merge 3 commits intomasterfrom
export-zipper
Draft

Export zipper#8
raehik wants to merge 3 commits intomasterfrom
export-zipper

Conversation

@raehik
Copy link
Copy Markdown
Contributor

@raehik raehik commented Mar 22, 2021

No description provided.

RaoulHC and others added 3 commits March 19, 2021 18:41
WIP, testing the "export zipper" idea.
all tests failing, looks like catchAll takes over??
Essentially remove the generic zipper `query` call, so wrapping
`Reprinting` back into `ZipperReprinting` needs that query (for the
generics stuff).
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.

2 participants