On 2022-05-11 13:25, Ivan Perez wrote:
Scott, I have detected unnecessary dependencies around copilot. Among others, the dependency on ansi-terminal may be removed. I am opening issues for them: https://github.com/Copilot-Language/copilot/issues?q=is%3Aissue+depend+unnecessary. I have sent a PR for the issue with bimap and I'm waiting for that to be merged: https://github.com/joelwilliamson/bimap/pull/16
Scott,The bimap project has released a new version (0.5.0) that copilot can be installed with.
I have adjusted the constraints of copilot-theorem accordingly. I've pushed-forced the changes in this branch for now: https://github.com/Copilot-Language/copilot/tree/develop-version-bounds
Please let me know if any other changes are needed on the copilot side. Once we have everything, I'll merge all changes together.
Thanks, Ivan