aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.build.yml1478logplain
-rw-r--r--.editorconfig146logplain
-rw-r--r--.gitignore33logplain
-rw-r--r--LICENSE.md295logplain
-rw-r--r--Makefile807logplain
-rw-r--r--README.md27logplain
-rw-r--r--conf.py2657logplain
-rw-r--r--errors.md23logplain
-rw-r--r--index.rst2386logplain
-rw-r--r--make.bat795logplain
-rw-r--r--safety.md2757logplain
-rw-r--r--syntax.md12321logplain
-rw-r--r--tagged-unions.md22logplain
-rw-r--r--types.md14logplain
-rw-r--r--vs-c.md2566logplain