# language-ats
## 1.7.1.2
* Add `cross` flag to cabal file
## 1.7.1.1
* Bugfix in how `val`s were handled
## 1.7.1.0
* Fix a bug in how `val`s 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 `StaticExpression`s
## 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.