This repository has been archived by the owner on Sep 5, 2023. It is now read-only.
Cicero VSCode Extension v0.10.0
Pre-release
Pre-release
👓 Spec Compliance
- Upgrade to support Cicero 0.13.4 and Ergo 0.9.4