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 and simplifyEx. (Gleb Popov)
    • Some code cleanup. (Jakub Daniel and Iago Abal)