Closed abouteiller closed 1 year ago
Please let me know when this will be merged. I need this PR and PR #57, but it seems these two PRs have conflicts if both are applied.
@QingleiCao did you try this individually? If so and there was no problem please review and then I'll merge it.
Match the new parsec API after https://github.com/ICLDisco/parsec/pull/517