- Type a name, a fragment of one, a concept, or a
contributor.
- Once a search term is entered, ↑/↓ move a selection
through the results, and Enter opens it.
- Several words must all match, so "compact ordinal" asks for both.
- Wildcards:
* for any run of characters, ? for one,
\* for a literal star.
- "compact in Ordinals.Comp", using the keyword in, searches
inside a directory or file.
- Unicode is entered the way it is in the Agda emacs mode, so
\to and \MCU are "→" and "𝓤",
though \to itself needs a space right after it, since
\top could still follow.
- Search is also
available from Emacs.
- What each directory of TypeTopology is about is described in its
module descriptions.
21,340 definitions and 237 concepts in 990 modules
(12,172 comments).
Concept index