From b22eeffc3db32063ad67ae28ae3bffde8da32be1 Mon Sep 17 00:00:00 2001 From: radrow Date: Sat, 26 Jun 2021 19:10:15 +0200 Subject: [PATCH] Formatting in stdlib doc --- docs/sophia_stdlib.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/sophia_stdlib.md b/docs/sophia_stdlib.md index 8b7138b..219b27c 100644 --- a/docs/sophia_stdlib.md +++ b/docs/sophia_stdlib.md @@ -1216,7 +1216,7 @@ List.unzip(l : list('a * 'b)) : list('a) * list('b) Opposite to the `zip` operation. Takes a list of pairs and returns pair of lists with respective elements on same indices. -### merge +#### merge ``` List.merge(lesser_cmp : ('a, 'a) => bool, l1 : list('a), l2 : list('a)) : list('a) ``` @@ -1224,7 +1224,7 @@ List.merge(lesser_cmp : ('a, 'a) => bool, l1 : list('a), l2 : list('a)) : list(' Merges two sorted lists into a single sorted list. O(length(l1) + length(l2)) -### sort +#### sort ``` List.sort(lesser_cmp : ('a, 'a) => bool, l : list('a)) : list('a) ```