Ƒ functionality.md

For the descriptions, l refers to the left argument, r to the right. As Ƒ doesn't map over lists, AƑ (for some atom A that doesn't operate on lists) is equivalent to AƑ€Ạ for lists (i.e. the atom is invariant for each element)

For the nilad commands, NƑ is simply equalivalent to ⁼N, so they've been excluded from this list

The atoms WḲṆṾ all yield 0 no matter the left argument, and so are ignored in the list.

Atom	Description
¬	Does l equal []?
½	Does l equal 0 or 1?
!	Does l equal 0 or 1?
A	Is l greater than or equal to 0?
B	Does l equal []?
C	Does l equal []?
D	Does l equal []?
E	Does l equal 1?
F	Is l flat? Returns 0 for non-lists
G	Is l a singleton list of depth 1 (i.e. [a] where a is a number)?
H	Does l equal 0?
I	Does l equal []?
J	Is l a range? ([1,2,3,...,n])
K	Is l a singleton list of depth 1?
L	Does l equal 1?
M	Does l equal [1]?
N	Does l equal 0?
O	Is l not a string?
P	Is l a number?
Q	Are all elements of l unique?
R	Does l equal []?
S	Is l a number?
T	Is l a range?
U	Is l a palindrome at all depths?*
V	Is l a number?**
X	Returns 1 for l = 1, returns 0/1 with varying probabilities for l ≠ 1
Y	Is l a singleton list of depth 1?
Z	Is l a symmetric matrix?
~	Does l equal []?
°	Does l equal 0?
¹	Return 1
²	Does l equal 0 or 1?
Ạ	Does l equal 0 or 1?
Ḅ	Is l a number?
Ḍ	Is l a number?
Ẹ	Does l equal 0 or 1?
Ḥ	Does l equal 0?
Ị	Does l equal 1?
Ḷ	Does l equal []?
Ṃ	Is l a number?
Ọ	Is l a string?
Ṛ	Is l a palindrome?
Ṣ	Is l sorted?
Ṭ	Does l equal [1]?
Ụ	Is l a range?
Ẉ	Is l all 1s?
Ẓ	Does l equal 0?
Ȧ	Does l equal 0 or 1?
Ḃ	Does l equal 0 or 1?
Ċ	Is l an integer?
Ḋ	Does l equal []?
Ė	Does l equal []?

• Compare UƑ and ŒḂ with the input [[1, 2, 1], [3, 4], [1, 2, 1]] ** Potentially more side effects, but nothing obvious

---

Sorted by function

• Is l equal to something?

  • 0: HN°Ḥ
  • 1: ELỊẒ
  • 0 or 1: ½!²ẠẸȦḂ
  • [1]: MṬẈ
  • []: ¬BCDIR~ḶḊĖ

• Is l a something?

  • number: PSVḄḌṂ
  • singleton list of depth 1: GKY
  • range: JTỤ
  • string: Ọ
  • palindrome: UṚ
  • integer: Ċ