[ANNOUNCE] Ajla 0.3.0 with formal verification using Z3
Mikulas Patocka <[email protected]> Tue, 28 Oct 2025 23:42:30 +0100 (CET)
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <[email protected]> |
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 _______________________________________________ Haskell-Cafe mailing list -- [email protected] To (un)subscribe, modify options or view archives go to: Only members subscribed via the mailman list are allowed to post.