Skip to content

Tags: pythological/unification

Tags

v0.4.7

Toggle v0.4.7's commit message
Format pytest marker changes with black.

v0.4.6

Toggle v0.4.6's commit message
Update branch names in workflows

v0.4.5

Toggle v0.4.5's commit message
Updates versioneer for Python 3.11 and updated supported versions and…

… tests

v0.4.4

Toggle v0.4.4's commit message
Add stream vs. stack benchmarks to README

v0.4.3

Toggle v0.4.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #17 from brandonwillard/generic-assoc

Make assoc a generic function

v0.4.2

Toggle v0.4.2's commit message
Add missing Python 3.8 classifier

v0.4.1

Toggle v0.4.1's commit message
Restore unification order

v0.4.0

Toggle v0.4.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #16 from brandonwillard/tail-call-optimization

Introduce stream/trampoline-based reification and unification

v0.3.4

Toggle v0.3.4's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #12 from brandonwillard/fix-package-name

Fix PyPi package name in README

v0.3.3

Toggle v0.3.3's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Merge pull request #11 from brandonwillard/fix-isground-iter

Fix isground for iterator types