Skip to content

Initial picklers for nullary spores#24

Open
phaller wants to merge 2 commits intomasterfrom
nullary-spore-pickler
Open

Initial picklers for nullary spores#24
phaller wants to merge 2 commits intomasterfrom
nullary-spore-pickler

Conversation

@phaller
Copy link
Copy Markdown
Collaborator

@phaller phaller commented Jun 8, 2015

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

phaller added 2 commits June 9, 2015 00:52
TODO: picklers for nullary spores that capture more than one variable.
@jvican
Copy link
Copy Markdown
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
Copy Markdown
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
Copy Markdown
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
Copy Markdown
Collaborator Author

phaller commented Mar 23, 2016

No time, sorry.

On Mar 23, 2016, at 11:33 AM, Jorge notifications@github.com 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