language-whyml
WhyML language support
franekp 1,001 0 0.1.0 MIT GitHub

Keywords

  • why
  • whyml
  • functional
  • verification

language-whyml package

Syntax highlighting for WhyML.