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

Reexport all top-level modules #801

Closed epatters closed 1 year ago

epatters commented 1 year ago

In other words, running "using Catlab" now gives you everything. A long requested change!

Depends on the changes in #800.