v0.1.1

GATlab v0.1.1

Diff since v0.1.0

Merged pull requests:

• Egraphs are back (#125) (@olynch)
• Fix precompilation warning about unordered dicts (#134) (@kris-brown)
• @gatdoc macro defines the theory constant as well as bare-minimum docs (#141) (@quffaro)
• added docstrings to theories in the stdlib (#143) (@quffaro)

Closed issues:

• Deprecation warnings during precompilation (#124)
• AlgTerms should be polymorphic in the type of variables (#137)
• Dot access with symbols instead of idents (#138)
• Docstrings for GAT modules (#139)
• At docstrings for existing theories (#142)
• No Squash and Merge on this Repo (#145)