@hackage / ord-axiomata

Axiomata & lemmata for easier use of Data.Type.Ord

Latest0.1.0.0

Changelog

Revision history for ord-axiomata

0.1.0.0 — July, 2025

First version. Released on an unsuspecting world.