Closed RyanGlScott closed 5 months ago
Currently, the copilot-bluespec README says:
copilot-bluespec
README
https://github.com/Copilot-Language/copilot-bluespec/blob/fd0cc9b91efd389d7860a3bb3b8bb7de54839b10/README.md#L16-L21
This is not actually true, however, as copilot-bluespec is not currently distributed with the main copilot library. Instead, we should direct users to install copilot-bluespec on its own using cabal.
copilot
cabal
Done in #8.
Currently, the
copilot-bluespec
README
says:https://github.com/Copilot-Language/copilot-bluespec/blob/fd0cc9b91efd389d7860a3bb3b8bb7de54839b10/README.md#L16-L21
This is not actually true, however, as
copilot-bluespec
is not currently distributed with the maincopilot
library. Instead, we should direct users to installcopilot-bluespec
on its own usingcabal
.