Fix bls12_381 anchor in the stdlib docs (#376)

This commit is contained in:
Dincho Todorov 2022-04-26 20:10:11 +03:00 committed by GitHub
parent 0ec7fdc6ac
commit 8897cc6cbd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -32,7 +32,7 @@ include "List.aes"
```
- [Bitwise](#bitwise)
- [BLS12_381](bls12_381)
- [BLS12_381](#bls12_381)
- [Func](#func)
- [Frac](#frac)
- [List](#list)
@ -2491,4 +2491,4 @@ Cyclic rotation of the elements to the right.
Triple.rotl(t : ('a * 'b * 'c)) : ('b * 'c * 'a)
```
Cyclic rotation of the elements to the left.
Cyclic rotation of the elements to the left.