Search results

Publish a wheel to PyPI

Status: Open.

#46 In pythological/unification;

· rndubs opened on Jun 4, 2025

Migrate the setup.py packaging file to a PEP517 compliant pyproject.toml file

Status: Open.

#45 In pythological/unification;

· rndubs opened on Jun 4, 2025

why doesn't dict key unify?

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#42 In pythological/unification;

· majidaldo opened on Nov 21, 2023

Consider replacing <code>utils._toposort</code> with the Python std. lib. <code>TopologicalSorter</code>

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#39 In pythological/unification;

· majidaldo opened on Jan 29, 2023

Add "occurs-check" functionality

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

important

Status: Open.

#36 In pythological/unification;

· rlouf opened on Aug 4, 2022

Typo in pattern matching example.

bugSomething isn't workingSomething isn't working

documentationImprovements or additions to documentationImprovements or additions to documentation

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#32 In pythological/unification;

· zoj613 opened on Jul 5, 2022

<code>NamedTuple</code>s reify into <code>tuple</code>s

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#29 In pythological/unification;

· rlouf opened on Jun 28, 2022

Consider implementing Knuth-Bendix Completion

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#21 In pythological/unification;

· brandonwillard opened on Apr 12, 2020

Remove variables context manager functionality

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In pythological/unification;

· brandonwillard opened on Feb 24, 2020