v1.9.0

valis released this 04 Dec 22:42

· 503 commits to master since this release

6b9d8ce

Inlays for levels, added parameters, and used axioms
"Change arguments explicitness" refactoring
"Change signature" refactoring
Revealing information in error messages

Assets 2