blob: 09e31252294349ab7b2f587d41a5aebb247884b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
say_namespace summary {
foreach {x y} {
f "floating-point"
~ "signal"
\# "grid"
} {
say_category basic<$x>
say ~.do ""
say ~.norm ""
say ~.packunpack3 ""
say ~ ""
say ~.swap ""
say ~.taa ""
}
say_category interfaces
proc pu_say {} {
}
pu_say antireflexive {t } ""
pu_say antisymmetric {t } ""
pu_say associative {t } ""
pu_say commutative {t } ""
pu_say distributive {t } ""
pu_say equivalence {t } ""
pu_say invertible {t } ""
pu_say partialorder {t } ""
pu_say partialordereq {t } ""
pu_say reflexive {t } ""
pu_say totalorder {t } ""
pu_say totalordereq {t } ""
pu_say transitive {t } ""
pu_say trichotomy {t } ""
pu_say operator1 {t } ""
pu_say operator2 {t } ""
say_category cancellators
say associator ""
say commutator "ab-ba"
say distributor ""
say invertor ""
say_category misc
say twice ""
say 3times ""
say 4times ""
say ^ ""
say error ""
say protocols-tree ""
say tree ""
}
|
