From a2f5bcacd8ada04c204d3e7e6d409e4c4fbb1dff Mon Sep 17 00:00:00 2001
From: marc0olo <walz.marcoo@gmail.com>
Date: Fri, 20 Aug 2021 09:56:42 +0200
Subject: [PATCH] docs: fix anchors in stdlib

---
 docs/sophia_stdlib.md | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/docs/sophia_stdlib.md b/docs/sophia_stdlib.md
index 99e1e48..04421d5 100644
--- a/docs/sophia_stdlib.md
+++ b/docs/sophia_stdlib.md
@@ -31,14 +31,14 @@ The following ones need to be included as regular files with `.aes` suffix, for
 include "List.aes"
 ```
 
-- [List](#List)
-- [Option](#Option)
-- [String](#String)
-- [Func](#Func)
-- [Pair](#Pair)
-- [Triple](#Triple)
-- [BLS12_381](#BLS12_381)
-- [Frac](#Frac)
+- [List](#list)
+- [Option](#option)
+- [String](#string)
+- [Func](#func)
+- [Pair](#pair)
+- [Triple](#triple)
+- [BLS12_381](bls12_381)
+- [Frac](#frac)
 - [Set](#set-stdlib)
 
 ## Builtin namespaces