Use scripts to generate `SUMMARY.md` of dev_guide - Githubissues

erg-lang / erg

A statically typed language compatible with Python

http://erg-lang.org

Apache License 2.0

2.68k stars 55 forks source link

Use scripts to generate `SUMMARY.md` of dev_guide #374

Closed C-BJ closed 1 year ago