QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Feature/mkdocs with versioning #824

Merged
zxq9 merged 9 commits from github/fork/marc0olo/feature/mkdocs-with-versioning into master 2021-08-27 23:46:18 +09:00
Conversation 9 Commits 9 Files Changed 16 +8 -8
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit a2f5bcacd8 - Show all commits

16
docs/sophia_stdlib.md
View File

@ -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