oolong v0.4.3

github-actions released this 05 Jan 01:15

· 7 commits to main since this release

6f63492

Changes

Add test for lifted forall @danslapman (#54)
Widen type of lifted expressions @danslapman (#53)

Contributors

danslapman

Assets 2