• Packages
  • Themes
  • Documentation
  • Blog
  • Discuss
Sign in

language-wisl

WISL (While In Separation Logic) language package for Atom
  • #language
  • #grammar
  • #wisl
  • #separation logic
giltho
0.5.0 46
0
  • Repo
  • Bugs
  • Versions
  • License
Flag as spam or malicious

language-wisl

Grammar for the While In Separation Logic language used at Imperial College to teach Separation Logic to students (CO404H)

I think this package is bad news.

Good catch. Let us know what about this package looks wrong to you, and we'll investigate right away.

  • Terms of Use
  • Privacy
  • Code of Conduct
  • Releases
  • FAQ
  • Contact
with by