export SVG of visualization#247

Closed

hamidahoderinwale wants to merge 21 commits intomainfrom

issue202exportSVG

Commits on Nov 5, 2024

Dev docs on modules over models

KevinDCarlson
authored and
hamidahoderinwale
committed
DOC: Link to page on modules over models from main page on dbl cats.

epatters
authored and
hamidahoderinwale
committed
DOC: Doctrine of multicategories to go along w/ theory of promonoids.

epatters
authored and
hamidahoderinwale
committed
DOC: Add missing `ul`, minor formatting and prose changes.

epatters
authored and
hamidahoderinwale
committed
Proving that the short definition of instance is right

KevinDCarlson
authored and
hamidahoderinwale
committed
DOC: Fix typos in definition of an instance.

epatters
authored and
hamidahoderinwale
committed
DOC: Fix typos in explication of the definition of instances.

epatters
authored and
hamidahoderinwale
committed
BUILD: Small dev infra changes (#221)

goretkin
authored and
hamidahoderinwale
committed
Horizontal scrollbar in content panels (#226)
hamidahoderinwale
committed
package installs
hamidahoderinwale
committed
analysis document edit
hamidahoderinwale
committed
export SVG
hamidahoderinwale
committed
additional files
hamidahoderinwale
committed
done
hamidahoderinwale
committed

Commits on Nov 7, 2024

Commits on Nov 12, 2024

Commits on Nov 13, 2024

deletion
hamidahoderinwale
committed