Dev docs on free models of double theories#301

Open

epatters wants to merge 5 commits intomainfrom free-models

+175-5

Commits on Dec 18, 2024

Commits on Dec 19, 2024

DOC: Define the free model functor for simple and cartesian theories.
epatters
committed

Commits on Dec 20, 2024

DOC: A few examples of networks over double theories.
epatters
committed