search

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
608 stars 58 forks source link

Reexport GATlab from Catlab #863

Closed epatters closed 11 months ago

epatters commented 11 months ago

For continuity: before the GATlab integration, using Catlab would get you the GAT machinery.