AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Bring up to date with new version of Catlab
- Langage dominant
- Julia
- Étoiles
- 12
- Forks
- 2
- Métriques de merge des PR
- Aucune PR mergée en 30 j
Description
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.
Guide de contribution
Aucun guide de contribution indexé pour ce dépôt
Évaluation
Cette issue n'a pas encore été évaluée.