Loading...

​​WG-Traits: 2019.04.15 / chalk query

​​Zulip topic

​​

​​Notes and work items

​​

• ​​refactor logic when requesting program clauses for a given goal to be more narrow

• ​​link to zulip conversation

• ​​have to find the code to bring this from rustc

• ​​create some sort of unified “facade” create that combines chalk-solve and chalk-rules?

• ​​resolve recursive solver setup 

​​