diff --git a/README.md b/README.md index 5e04afe..faacf07 100644 --- a/README.md +++ b/README.md @@ -10,6 +10,7 @@ This project specifies interoperability of common algebraic structures: * [Setoid](#setoid) +* [Ord](#ord) * [Semigroup](#semigroup) * [Monoid](#monoid) * [Functor](#functor)