uni-locy 2.2.4

Locy compiler: validates and stratifies Locy programs
Documentation