Symbolic Compositional Resource Sharers#136

Closed

olynch wants to merge 24 commits intomainfrom packages

+2,027-84

Commits on Nov 8, 2023

unions working, still need renaming
olynch
committed

Commits on Mar 20, 2024

trying to get renaming via using-as statments right
quffaro
committed

Commits on Mar 27, 2024

work so far. issue encountered with default not defined in modelinterface.
quffaro
committed

Commits on Apr 18, 2024

Multiple inheritance seems to work but not tested on withmodel.
quffaro
committed
functions are now being generated from type constructors during theory definition, but a test in models is now broken
quffaro
committed

Commits on Apr 21, 2024

ThModule now defined. Category.Ob problem in test persists. Code somewhat cleaned up after my debugging.
quffaro
committed

Commits on Jun 6, 2024

just about there. tests were passing and some examples/new tests are being created but it needs clean up and review.
quffaro
committed

Commits on Jun 7, 2024

Commits on Jun 8, 2024

these changes repair reidentification on empty alg sort arrays
quffaro
committed

Commits on Jun 9, 2024

fixed bug where second using-rename statements collide with names in the theory
quffaro
committed

Commits on Jun 10, 2024

Commits on Jun 13, 2024

removed renaming, added manual renames to algebra.jl
olynch
committed

Commits on Jul 3, 2024

fixed up reident stuff
olynch
committed