Examples of theories and models for sets and functions in Catlab.jl.| blog.algebraicjulia.org
An introduction to some big upcoming changes in Catlab, with a focus on GATlab.jl.| blog.algebraicjulia.org
Documentation for The Julia Language.| docs.julialang.org