language-wisl

WISL (While In Separation Logic) language package for Atom

giltho

49

0

0.5.0

MIT

GitHub

language-wisl

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