-
-
Notifications
You must be signed in to change notification settings - Fork 7
Issues: pythological/unification
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
why doesn't dict key unify?
enhancement
New feature or request
help wanted
Extra attention is needed
#42
opened Nov 21, 2023 by
majidaldo
Consider replacing New feature or request
question
Further information is requested
utils._toposort with the Python std. lib. TopologicalSorter
enhancement
#39
opened Jan 29, 2023 by
majidaldo
Add "occurs-check" functionality
bug
Something isn't working
enhancement
New feature or request
help wanted
Extra attention is needed
important
#36
opened Aug 4, 2022 by
rlouf
Typo in pattern matching example.
bug
Something isn't working
documentation
Improvements or additions to documentation
good first issue
Good for newcomers
help wanted
Extra attention is needed
#32
opened Jul 5, 2022 by
zoj613
NamedTuples reify into tuples
enhancement
#29
opened Jun 28, 2022 by
rlouf
Consider implementing Knuth-Bendix Completion
enhancement
New feature or request
question
Further information is requested
#21
opened Apr 12, 2020 by
brandonwillard
Remove variables context manager functionality
enhancement
New feature or request
#18
opened Feb 24, 2020 by
brandonwillard
ProTip!
What’s not been updated in a month: updated:<2024-11-17.