Explore: next steps with LazyDerive: morphing it into a kind of readonly Dendriform #74

Open

Labels

opened

on Feb 13, 2022

Quite a lot of potential crossover with #73.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests