hz3 v4.1.1 Release Notes
Release Date: 2017-08-07 // over 6 years ago-
๐ Another small release, made possible thanks to third-party contributions.
- โ Added bindings for getting the accessors of datatype constructors. (William Hallahan)
- โ Added bindings for declaring mutually recursive datatypes. (William Hallahan)
- Added partial support for the Interpolation API. (Jakub Daniel)
- โ Added bindings for deconstructing function applications. (Jakub Daniel)
- โ Added bindings for
simplify
andsimplifyEx
. (Gleb Popov) - Some code cleanup. (Jakub Daniel and Iago Abal)