uni-locy 2.2.1

Locy compiler: validates and stratifies Locy programs
Documentation