Closed RyanGlScott closed 1 month ago
This release will include support for Copilot struct updates (#10) and building against copilot-core-3.20.
copilot-core-3.20
Released to Hackage as copilot-bluespec-3.20.
copilot-bluespec-3.20
This release will include support for Copilot struct updates (#10) and building against
copilot-core-3.20
.