language-ats

1.6.0.0

Breaking Changes:

• Remove types for RecordValues and instead rely on typed expressions.
• Remove Wildcard constructor and instead treat _ as a name
• Remove ParenType and instead use tuples

Enhancements:

• Better Error messages
• Add support for boxed records
• Add support for proof expressions introducing witnesses ([ m | [] ])

Bug Fixes:

• Fix bug with formatting for type arguments
• Fix formatting for val ... and ... declarations
• Fix parse error on expressions like list_vt_cons(x, _)
• Add support for patterns using binary operators.