language-wisl

WISL (While In Separation Logic) language package for Atom
giltho
0.5.0 10
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)