@hackage / ord-axiomata

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

0.1.0.0

Dependents

@hackage / heterogeneous-comparison Comparison of distinctly typed values with evidence capture
- Version: 0.1.0.0
- Last uploaded: 10 months ago
- License: BSD-3-Clause