v0.7.1

What's Changed

• Fix for Tuple2 value application

Full Changelog: v0.7.0...v0.7.1

v0.7.0

What's Changed

• Add Infix types by @julianpeeters in #8
• Refactor value dependencies
• Bump scala version to 3.4.0

Full Changelog: v0.6.0...v0.7.0

v0.6.0

Add infix types (distinguishes between App2 and Infix)

v0.5.0

• Add support for experimental dependent types (see dc10-scalaq)
• Simplify term models since, e.g., extracting argument lists conflicts with the strong typing of cofree

v0.4.0

Basic support for

• extension methods
• dependent vector types

v0.3.0

Adds basic single-argument def generation.