Release 2.2.1 CHANGES: - Propagate recompile flag to dependencies. - Postfix operators with the `notation <op> postfix <priority>;` - Logic directory since it is now available on the [Lambdapi Opam repository](https://github.com/Deducteam/opam-lambdapi-repository). - Option --recompile. - Use short options in system commands to be POSIX compliant.