Version 0.14.0 - 2026-06-03

dlesbre released this 03 Jun 07:47

· 33 commits to main since this release

6a9f917

What's Changed

Change type of nonreflexive_subset_domain_for_all2 to allows usage with maps of different type
Fix nonidempotent_union typo in documentation table by @sim642 in #31
Add JS implem of int_builtins by @dlesbre in #34

New Contributors

@sim642 made their first contribution in #31

Full Changelog: v0.13.0...v0.14.0

Contributors

sim642 and dlesbre

Assets 3