language-ats

1.7.3.1

• Fix bug in parse order for symintr declarations

1.7.3.0

• Update PrVal to include a field for universal quantifiers

1.7.2.0

• Update termetric field type to allow empty termetrics

1.7.1.2

• Add cross flag to cabal file

1.7.1.1

• Bugfix in how vals were handled

1.7.1.0

• Fix a bug in how vals were handled in SATS files

1.7.0.6

• Fix bug by introducing immorality

1.7.0.5

• Faster build times

1.7.0.4

• Allow datatype, datavtype, and dataview to work with and.
• Remove spurious dependency on cpphs
• Prettier errors when parsing records

1.7.0.3

• Bump recursion version bounds

1.7.0.2

Bug fixes:

• Support llam@ keyword

Enhancements:

• Use recursion library to incur fewer dependencies

1.7.0.0

Bug Fixes:

• Now accepts proof-level lambdas.
• Include all test data

Breaking Changes:

• PrVar and PrVal now take a StaticExpression
• PrFun, PrFn, and Praxi now take a StaticExpression
• Add a rewrite phase for StaticExpressions

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.