Skip to content
Lynn edited this page Aug 14, 2016 · 5 revisions

Single-letter atoms

  • Uppercase letters with optional dots above or below represent monads.
    • Examples: A (absolute value), (modulo 2).
  • Lowercase letters, with dots above or below represent dyads.
    • Examples: g (GCD), (rotate list).
  • Hooked letters represent nilads.
    • Example: ɠ (read STDIN line).
  • Where possible, a letter with a dot below should be the (formal or informal) inverse operation of its dot-less counterpart.
    • Example: b is “to base” and is “from base”.

Double-letter atoms

  • Double-letter nilads should start with Ø.
    • Example: Øa (lowercase alphabet).
  • Double-letter monads should start with Æ or Œ.
    • Examples: ÆS (sine), Œ! (all permutations).
  • Double-letter dyads should start with æ or œ.
    • Examples: æ« (bit shift left), œc (combinations without replacement).

(The Æ/æ atoms tend have a more “numerical” nature; the Œ/œ ones are for list operations. Æ and Œ were chosen to mean “algebraic/arithmetic extensions” and “other extensions”, respectively.)

Quicks

  • Non-Latin letters, or Latin letters with unusual modifiers (cedilla, tilde, …) represent quicks. Their case hints at the result’s arity.
    • Example: ß (recurse), ç (last link as dyad).
  • Double-letter quicks should start with Ð.
    • Example: Ðf (keep all elements satisfying a condition).
Clone this wiki locally