Name		Name	Last commit message	Last commit date
parent directory ..
todo		todo
README.md		README.md
module.f.mjs		module.f.mjs
proof.f.mjs		proof.f.mjs
types.ts		types.ts

README.md

SGR (Select Graphic Rendition) parameters

https://en.wikipedia.org/wiki/ANSI_escape_code#SGR_(Select_Graphic_Rendition)_parameters