Skip to content

Inox 1.1.0

Latest
Compare
Choose a tag to compare
@samarion samarion released this 13 Mar 09:25
· 575 commits to main since this release
  • General improvements to Inox stability
  • Removed subtyping in the type system to improve soundness of first-class function handling
  • Added powerful simplifiers and tree transformers to improve performance on complex formulas
  • Improved and clarified purity and termination assumptions/requirements