Changelog for polytropos-core

0.1.0.0 — Initial Release

• Core row vocabulary: Row, SumRow, ProductRow, Pair((:=))
• Unified flat runtime representation: Rep (f :: Type -> Type) a combining a runtime tag and SmallArray payload
• First-class evidence classes: FieldIndex, ConstructorIndex, RowEq, RowShow, RowEqSum, RowShowSum, AllFields
• Primitive operations: emptyRecord, insertField, getField, setField, injectVariant, matchVariant, projectRecord, restrictRecord
• Hybrid monadic and pure eliminators with \(O(1)\) jump table dispatch: eliminateUniform, eliminateUniformM, eliminate, eliminateM, peel, peelF
• Higher-Kinded Data support: RecordF, VariantF
• SIMD and unrolled copy operations for record updates
• Re-exported front-door module Polytropos