AlgebraicJulia / AlgebraicJulia/ACSets.jl
Merging Parts of an ACSet
Aberta
- Linguagem predominante
- Julia
- Estrelas
- 36
- Forks
- 11
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
We have an API for adding and removing parts of an ACSet, but do we have an API for merging them? I know that @olynch and @kris-brown were working on UnionFind stuff for allowing highly dynamic merges necessary to make labels work. But I can't see the status of that in the API docs (see #151).
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.