v1.6.0

valis released this 28 Feb 15:21

· 889 commits to master since this release

b0a84b6

Language updates:

Built-in finite types
\default implementations
\coerce to function types
\coerce for fields and constructors
\have declaration
Dot-syntax for dynamic definitions
Added more computational rules for Nat.+ and Nat.- functions

API:

Pattern typechecker

Assets 5