language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-10-02 13:41:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

doc: update contents

Browse source
This commit is contained in:
Shunsuke Shibayama 2023-05-09 00:15:18 +09:00
parent e9690f2ebd
commit 06abeb2c4d
6 changed files with 67 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/JA/API/types/traits/Mapping.md
View file

@ -2,8 +2,8 @@
## subsumed traits
* `Collection V`
* `Indexable K, V`
* [`Collection V`](./Collection.md)
* [`Indexable K, V`](./Indexable.md)
## impl traits