Hi I announce a new release of a purely functional programming language Ajla 0.3.0 - https://www.ajla-lang.cz/ It has a new feature - the capability to formally verify programs using the Z3 library - see https://www.ajla-lang.cz/tutorial.html#verifying_ajla_programs_with_z3 Mikulas