v0.0.7

Deductive v0.0.7

Diff since v0.0.6

Closed issues:

• Minimal documentation page (#15)

v0.0.6

Deductive v0.0.6

Diff since v0.0.5

Closed issues:

• Latexify expressions for pretty displaying in non-terminal settings (#14)
• Recursive subset matching algorithm (#20)
• Higher-order set constraint elimination algorithm (#21)

Merged pull requests:

• Definitional set theory (#4) (@ctrekker)

v0.0.5

Deductive v0.0.5

Diff since v0.0.4

Closed issues:

• Fast mutable expressions (#7)
• Remove parent expression from argument expression when it gets overwritten (#10)
• Write description docstrings for all exported methods (#11)

Merged pull requests:

• Fast mutable expressions (#8) (@ctrekker)
• Parent removal upon argument reassignment (#12) (@ctrekker)
• Docstrings for exported things (#13) (@ctrekker)

v0.0.4

Deductive v0.0.4

Diff since v0.0.3

v0.0.3

Full Changelog: v0.0.2...v0.0.3

v0.0.2

Deductive v0.0.2

Diff since v0.0.1

v0.0.1

Deductive v0.0.1