Skip to content
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.

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

Initial picklers for nullary spores #24

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

phaller
Copy link
Collaborator

@phaller phaller commented Jun 8, 2015

TODO: picklers for nullary spores that capture more than one variable.

TODO: picklers for nullary spores that capture more than one variable.
@jvican
Copy link
Collaborator

jvican commented Mar 23, 2016

I really want/need this. Is it possible to merge it after a quick rebase on top of my last PR?

@heathermiller
Copy link
Owner

@jvican why not try? I don't think @phaller has to be the guy to do this (he's also on a paper deadline atm)

@jvican
Copy link
Collaborator

jvican commented Mar 23, 2016

Sure I can do it! I was just wondering if @phaller wanted to do this 😄. I'll do it right away.

@phaller
Copy link
Collaborator Author

phaller commented Mar 23, 2016

No time, sorry.

On Mar 23, 2016, at 11:33 AM, Jorge [email protected] wrote:

Sure I can do it! I was just wondering if @phaller wanted to do this . I'll do it right away.


You are receiving this because you were mentioned.
Reply to this email directly or view it on GitHub

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.

3 participants