User:Pascal Jasmin/Explicit To Tacit Reference Card

From J Wiki
Jump to: navigation, 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.