@hackage / nat-optics

Refinement types for natural numbers with an optics interface

Latest1.0.1.1

Changelog

1.0.1.1 (2025-01-21)

Version bumps

1.0.1.0

Start of change log