A warm atom is an atom with an ordinary aura. The type of a warm atom is, conceptually, the set of all possible values for that aura. For example, the cord
'foo' nests under the type of the cord
'bar' - they both have
@t auras. This is in contrast to a cold atom, where its type is an exact value.
- Atoms and Strings: A guide to atoms.
- Hoon School: Our guide to learning the Hoon programming language.
- “Hoon Syntax”: A Hoon School lesson that explains how atoms work.