v0.6.0

Catlab v0.6.0

Diff since v0.5.3

Closed issues:

• From signatures to theories: allow specification of axioms (#62)
• Doctrines and syntax for "additive" monoidal categories (#104)
• No Julia functions inside GAT signatures (#112)
• Getting Diagrams from Julia Code (#119)
• Example test for GLA Linmaps (#121)

Merged pull requests:

• Added tests for and added to Additive Monoidal Categories (#110) (@bosonbaas)
• Experimental: Markov categories (#111) (@epatters)
• Add equivalency axioms and "where" syntax to signature macro (#113) (@mehalter)
• Updated standard library, tests, and documentation to adopt the new where clause notation (#114) (@mehalter)
• Allowed for local compilation of documentation and fixed broken links (#115) (@bosonbaas)
• Fixed inheritance of method aliases between GATs (#117) (@mehalter)
• Updated signature definitions throughout the source, tests, and documentation (#118) (@mehalter)
• Fixed the generation of alias functions (#122) (@mehalter)
• GLA gmres test (#124) (@jpfairbanks)
• Graphical linear algebra: first version (#126) (@epatters)
• Move from @Signature to @theory, and add @import to @instance macro (#127) (@mehalter)
• Overload plus function in GLA (#128) (@epatters)
• Added ability to define operation aliases in block form (#129) (@mehalter)
• Remove functions from signature/theory definitions (#130) (@mehalter)
• Update index.md with history of GATs (#137) (@jpfairbanks)