v1.7.0

valis released this 06 Sep 19:29

· 588 commits to master since this release

Type synonyms
Arrays
Pattern matching in lambdas and \let expressions
Multiple level parameters in definitions
Ability to change levels in class extensions
Improved inference of implicit arguments of function types

Assets 5