User:Pascal Jasmin/Explicit To Tacit Reference Card

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.