Reference to convert explicit expressions to tacit ones
x and y refer to left and right noun arguments respectively. z if used would be an arbitrary named noun.
f g h i j k are all verbs. fi would be the inverse of f.
y f g y |
f g |
x f g y |
f g |
f g y |
f@:g |
f x g y |
f@:g |
(g x) f g y |
f&:g |
(f y) g h y |
f g h |
(x f y) g x h y |
f g h |
(x f y) g (x h y) |
f g h |
(y f x) g y |
f~ g ] |
(y f x) g (h y) |
f~ g h@:] |
(x f y) g (h y) |
f g [: h ] |
(f x) g (h y) |
f@:[ g h@:] |
x h ((y f x) g y) |
[ h f~ g ] |
h (y f x) g y |
[: h f~ g ] |
Feel free to add any other equivalencies, or to move this page to somewhere more accessible.
Note: 13 : will do a good job in finding these equivalencies, but it can be a good exercise to be able to work them out.