GitHub - mrocklin/unify: Unification algorithm for list-based trees

mrocklin / unify Public

Unification algorithm for list-based trees

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
test_sympy.py		test_sympy.py
test_unify.py		test_unify.py
unify.py		unify.py
unify_sympy.py		unify_sympy.py

About

Unification algorithm for list-based trees

No releases published

No packages published