| 
|
Quote: the tacit function 'f g h' is a fork that applies g to the results of f and h; e.g, 'a (+ * -) b' is '(a+b)*(a-b)'
topics >
all references >
references g-h >
Topic:
formal methods and languages
Quotation Skeleton
If f, g, and h are verbs [in J], then the (isolated) sequence 'f g h' produces a verb, … [applying g to the results of f and h]. For example, 'a (+ * -) b' is '(a+b)*(a-b)' Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)