pi4all READMEpi4all adds code highlighting for the pi-forall language found at https://github.com/sweirich/pi-forall FeaturesCurrently, just syntax highlighting is supported. |
pi4all READMEpi4all adds code highlighting for the pi-forall language found at https://github.com/sweirich/pi-forall FeaturesCurrently, just syntax highlighting is supported. |