v0.0.1

GATlab v0.0.1

Closed issues:

• Pushout of theories (#2)
• Declare multiple terms with commas (#4)
• Models (#5)
• Convenience naming for single-typed theories (#6)
• CI (#11)
• Overloading term constructors (#14)
• Aliases (#15)
• theory should be gettheory (#17)
• Declaring models using @generated functions (#21)
• Bare values in instances (#29)
• Wrapper functions around GAT models (#30)
• R-algebras (#33)
• Presentations of algebras (#40)
• General Models (#42)
• Julia parser not associating (#43)
• Move code that requires MTK into AlgebraicDynamics (#47)
• Lens model of periodic parameters for another model (#48)
• Expressions with type tags for GAT type and term (#58)
• Normal form for associative, unital operations (#59)
• Types for models (#62)
• Model -> Model family (#63)
• Non-programmatic API (#64)
• Declaring models (#65)
• Aliases for term constructors (#66)
• ThX.Th (#68)
• Update @context and @term macros to run at macroexpand time (#69)
• Models should declare which variables they actually need (#71)
• Ob should construct an Ob, not verify (#86)

Merged pull requests:

• Add preliminary Nix flake support. (#7) (@wsx-ucb)
• Allow omitting repetitive type annotations. (#8) (@wsx-ucb)
• Default type (#10) (@olynch)
• Syntax for using pushouts (#12) (@olynch)
• theory -> gettheory (#18) (@olynch)
• Infrastructure (#22) (@olynch)
• Algebraic Lenses (#23) (@olynch)
• CompatHelper: add new compat entry for DataStructures at version 0.18, (keep existing compat) (#27) (@github-actions[bot])
• Compat entries (#28) (@olynch)
• DOCS: Add modules to api reference (#31) (@jpfairbanks)
• Unit tests for periodic parameter SIR (#49) (@jpfairbanks)
• Parallel composition of lenses (#50) (@olynch)
• Serialization for Algebraic Lenses (#51) (@olynch)
• Shorthand macro for defining systems (#52) (@olynch)
• ModelingToolkit integration (#53) (@olynch)
• CompatHelper: add new compat entry for JSON at version 0.21, (keep existing compat) (#54) (@github-actions[bot])
• Petri Net to Lens (#55) (@kris-brown)
• Fix serialization for Annotation names (#56) (@olynch)
• Models next (#67) (@olynch)
• Augmented Theories + Symbolics integration (#75) (@olynch)
• Instances via method declarations (#76) (@olynch)
• Replacement for GATExpr (#77) (@olynch)
• added aliases (#79) (@olynch)
• Gatlab next (#81) (@olynch)
• DOC: update docs to match new structure (#83) (@jpfairbanks)
• Mini-refactor of Scopes (#84) (@olynch)
• CompatHelper: add new compat entry for Crayons at version 4, (keep existing compat) (#89) (@algebraicjuliabot)
• Coercing Type Constructors (#92) (@olynch)
• Change name to GATlab (#93) (@olynch)