Changelog for covenant-1.1.0
Changelog for covenant
All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog.
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