User:Pascal Jasmin/Explicit To Tacit Reference Card
Jump to navigation
Jump to search
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.