mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-21 00:39:37 +00:00
TODO: Update the TODO list: the problems with complicated sub-unifications should (hopefully ;-) be fixed now.
TODO: Update the TODO list: the problems with complicated sub-unifications should (hopefully ;-) be fixed now.