A framework for applied category theory in the Julia language
Merged pull requests:
Closed issues:
enumerate_paths
(#897)Merged pull requests:
Closed issues:
maximum_common_subobject
(#884)Merged pull requests:
Tuple{Union{}}
(#871) (@KevinArlin)Closed issues:
Merged pull requests:
to_graphviz
with Diagram
objects (#850) (@slwu89)makemap
from attrMigr
branch (#854) (@KevinArlin)Catlab.Graphs
(#856) (@epatters)Closed issues:
NamedGraph
and presentations (#848)