uni-locy 2.2.2

Locy compiler: validates and stratifies Locy programs
Documentation