unification 0.1.9

An implementation of logical first-order unification.

Changelog

0.1.9

• Fix issues reported by pana

0.1.8

• Introduce type variable for Var and Term
• Refactor Termtype

0.1.7

• Fix issues reported by pana

0.1.6

• Fix issues related to version 2.4.1 of Dart

0.1.5

• Fix issues related to generics

0.1.4

• Fix minor issues discovered by pana

0.1.3

• Fix issues reported by pana

0.1.2

• Separate term data structures
• Improve comments and docs

0.1.1

• Fix some minor issues discovered by pana

0.1.0

• Fix dependencies

0.0.2

• Update to use Dart 2.1.0
• Add Examples

0.0.1

• Publish initial release