AlgebraicJulia / AlgebraicJulia/ModelExploration.jl
Bring up to date with new version of Catlab
未关闭
- 主要语言
- Julia
- 星标
- 12
- 派生
- 2
- PR 合并指标
- 30 天内没有已合并 PR
描述
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.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。