Glen Whitney d3e5a0bc37 doc: Weird unicode minus		2024-10-20 16:15:27 -07:00
..
design.md	doc: Extend comments on coordinatization; add a theory.md notes file	2023-11-07 17:06:19 -08:00
inversive.md	doc: Weird unicode minus	2024-10-20 16:15:27 -07:00
theory.md	doc: Extend comments on coordinatization; add a theory.md notes file	2023-11-07 17:06:19 -08:00