uni-locy 2.2.3

Locy compiler: validates and stratifies Locy programs
Documentation