unify 0.2.3 unify: ^0.2.3 copied to clipboard
An implementation of logical unification for dart and flutter based on the algorithm by Ruzicka und Privara.
Changelog #
0.2.3 #
- improve documentation
0.2.2 #
- improve README
0.2.1 #
- use dynamic instead of null aware operators because pana isn't able to deal with nnbd
0.2.0 #
- new implementation
0.1.6 #
- remove prints
0.1.5 #
- Improve docs and README
0.1.4 #
- Improve example and README
0.1.3 #
- Improve example and README
0.1.1 #
- Remove unused variables
0.1.0 #
- Publish initial release