Skip to content

Commit ae96f35

Browse files
Merge pull request #238 from gabejohnson/fix/add-ord-link
Add missing Ord link
2 parents 3af8d23 + 624f480 commit ae96f35

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

README.md

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@ This project specifies interoperability of common algebraic
1010
structures:
1111

1212
* [Setoid](#setoid)
13+
* [Ord](#ord)
1314
* [Semigroup](#semigroup)
1415
* [Monoid](#monoid)
1516
* [Functor](#functor)

0 commit comments

Comments
 (0)