covenant-1.1.0: CHANGELOG.md
# Changelog for `covenant`
All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
## UNRELEASED
## 1.1.0 -- 2025-07-11
### Added
* Representation of datatype declarations and datatype types
* Generators for various flavors of data declaration and value type
* A "kind checker" which serves as a basic sanity check on datatype declarations ingested by the pipeline
* Base functor transformation machinery
* Tests for the base functor transformation
* Misc internal helpers to support the above functionality
* Ledger type definitions for use in the ASG
* Support for primops over data types
* Support for arity-six primops in the ASG
Initial version
## 1.0.0 -- 2025-05-07