AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Bring up to date with new version of Catlab
- Lingua principale
- Julia
- Stelle
- 12
- Fork
- 2
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
No method matching
```julia
ob_map(::Catlab.CategoricalAlgebra.FinCats.FinDomFunctorMap{Catlab.CategoricalAlgebra.FinCats.FinCatPresentation{Catlab.Theories.ThCategory, Catlab.Theories.FreeCategory.Ob, Catlab.Theories.FreeCategory.Hom}, Catlab.CategoricalAlgebra.Categories.TypeCat{Catlab.CategoricalAlgebra.Slices.Slice{Catlab.CategoricalAlgebra.CSets.ACSetTransformation}, Catlab.CategoricalAlgebra.Slices.SliceHom{Catlab.CategoricalAlgebra.CSets.ACSetTransformation}}, Dict{Symbol, Catlab.CategoricalAlgebra.Slices.Slice{Catlab.CategoricalAlgebra.CSets.ACSetTransformation}}, Dict{Any, Any}})
```
among other things.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.