Anonymous user
User talk:Ttmrichter: Difference between revisions
→CHR = Constraint Handling Rules?
(→CHR = Constraint Handling Rules?: new section) |
|||
Line 8:
Should [[:Category:Constraint Handling Rules]] be merged into [[:Category:CHR]]?
<br />--[[User:GarveyPatrickD|GarveyPatrickD]] ([[User talk:GarveyPatrickD|talk]]) 21:47, 6 February 2021 (UTC)
Probably, yes.
|