Encapsulate GAT machinery in submodule

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language

https://www.algebraicjulia.org

MIT License

614 stars 58 forks source link

Encapsulate GAT machinery in submodule #800

Closed epatters closed 1 year ago

epatters commented 1 year ago

A long overdue change that paves the way for replacing the new submodule Catlab.GATs with Gatlab and also for overhauling the top-level reexports in Catlab.