 | pi-forallpi-forall highlighting support Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
pi4all READMEpi4all adds code highlighting for the pi-forall language found at https://github.com/sweirich/pi-forall FeaturesCurrently, just syntax highlighting is supported. |