32:
6176:
In Raku, all code objects are closures and therefore can reference inner "lexical" variables from an outer scope because the lexical variable is "closed" inside of the function. Raku also supports "pointy block" syntax for lambda expressions which can be assigned to a variable or invoked anonymously.
7852:
can also be used to achieve some of the effects of higher-order functions. However, macros cannot easily avoid the problem of variable capture; they may also result in large amounts of duplicated code, which can be more difficult for a compiler to optimize. Macros are generally not strongly typed,
7917:
act in essence like functions, and a method may accept objects as parameters and produce objects as return values. Objects often carry added run-time overhead compared to pure functions, however, and added
235:
262:
Sorting functions, which take a comparison function as a parameter, allowing the programmer to separate the sorting algorithm from the comparisons of the items being sorted. The
7888:
The argument is usually provided as a string, the value of which may not be known until run-time. This string must either be compiled during program execution (using
7865:
languages, it is possible to achieve some of the same algorithmic results as are obtained via higher-order functions by dynamically executing code (sometimes called
5884:
Python decorator syntax is often used to replace a function with the result of passing that function through a higher-order function. E.g., the function
7398:
allow programmers to pass around references to functions. The following C code computes an approximation of the integral of an arbitrary function:
251:
function, found in many functional programming languages, is one example of a higher-order function. It takes as arguments a function
329:
The examples are not intended to compare and contrast programming languages, but to serve as examples of higher-order function syntax
5333:
Note that arrow functions implicitly capture any variables that come from the parent scope, whereas anonymous functions require the
159:, also a function. Higher-order functions should not be confused with other uses of the word "functor" throughout mathematics, see
291:
7175:
The XACML standard defines higher-order functions in the standard to apply a function to multiple values of attribute bags.
181:
75:
53:
46:
178:
languages are derived, higher-order functions that take one function as argument are values with types of the form
9115:
9105:
7841:
function from the C standard library uses a function pointer to emulate the behavior of a higher-order function.
301:
2861:
950:
276:
7923:
7395:
6735:
5740:
4349:
2566:
2232:
6930:
6549:
4193:
281:
117:
7906:
6342:
6186:
6080:
3461:
2034:
267:
247:
9030:
4538:
1542:
358:
7931:
7927:
7914:
7910:
2945:
9110:
7889:
7849:
7383:
5958:
3340:
1851:
346:
263:
160:
143:
40:
7893:
9035:
7862:
175:
137:
105:
57:
7873:
operations) in the scope of evaluation. There can be significant drawbacks to this approach:
171:
148:
9120:
9055:
9020:
9004:
8303:
3465:
113:
8:
8299:
7882:
7878:
2238:
7896:, causing some added overhead at run-time, and usually generating less efficient code.
345:
it preferably should return a function rather than a value. This is in line with the "
9025:
9075:
7219:
9050:
7919:
7379:
311:
93:
7922:
for defining and instantiating an object and its method(s). Languages that permit
167:
4320:(::var"#result#3"{typeof(plusthree)}) (generic function with 1 method)
16:
Function that takes one or more functions as an input or that outputs a function
9040:
306:
255:
and a collection of elements, and as the result, returns a new collection with
9099:
9003:
In this case, different types are used to trigger different functions via
8283:
record as input and returns the integer value of the sum of the record's
7938:
1701:
89:
8302:
can be used to implement higher-order functions in languages that lack
7885:
to determine the well-formedness and safety of the code to be executed.
3895:
156:
121:
3167:
Notice a function literal can be defined either with an identifier (
314:, a semantic theory of natural language, uses higher-order functions
7161:
Tcl uses apply command to apply an anonymous function (since 8.6).
2406:
Alternatively, we can also compose using pure anonymous functions.
337:
takes a function, and applies the function to some value twice. If
296:
152:
7391:
3184:
1428:
510:
20:
7231:
4682:
7838:
7387:
7170:
4816:
500:
286:
9007:. The overloaded function in this example has the signature
5346:
7218:
The list of higher-order functions in XACML can be found
7104:
4927:
135:. In mathematics higher-order functions are also termed
8440:// Defunctionalized function application implementations
7909:
languages that do not support higher-order functions,
7493:/* Compute the integral of f() within the interval */
333:
In the following examples, the higher-order function
230:{\displaystyle (\tau _{1}\to \tau _{2})\to \tau _{3}}
184:
155:
is a common example, since it maps a function to its
1536:
7937:An example of using a simple stack based record in
318:
2776:In this Erlang example, the higher-order function
229:
112:takes one or more functions as arguments (i.e. a
9097:
7877:The argument code to be executed is usually not
7934:can provide more flexibility with this method.
7853:although they may produce strongly typed code.
2237:In Elixir, you can mix module definitions and
341:has to be applied several times for the same
8311:// Defunctionalized function data structures
7913:can be an effective substitute. An object's
742:Or, with generic lambdas provided by C++14:
259:applied to each element from the collection.
7856:
4296:plusthree (generic function with 1 method)
127:returns a function or value as its result.
7941:with a function that returns a function:
108:that does at least one of the following:
76:Learn how and when to remove this message
2800:returns false then the next function in
39:This article includes a list of general
3171:) or anonymously (assigned to variable
170:, all functions are higher-order; in a
9098:
8294:
4266:twice (generic function with 1 method)
3669:Or equivalently, with static methods:
2848:can be functions. The example returns
1187:Or equivalently, with static methods:
8240:// return a function to "a"
7881:; these languages generally rely on
7374:
5535:or with all functions in variables:
5143:or with all functions in variables:
25:
5888:could be implemented equivalently:
2820:will be evaluated. If the function
2804:will be evaluated. If the function
240:
13:
9043:- a formalism for functions which
3470:Using just functional interfaces:
45:it lacks sufficient corresponding
14:
9132:
1537:ColdFusion Markup Language (CFML)
323:
8743:// Higher-order compose function
319:Support in programming languages
30:
9076:"PHP: Arrow Functions - Manual"
7369:
5885:
5334:
3172:
3168:
2849:
2845:
2841:
2837:
2833:
2829:
2825:
2821:
2817:
2813:
2809:
2805:
2801:
2797:
2793:
2789:
2785:
2781:
2777:
506:
342:
338:
334:
9068:
3455:
2862:F Sharp (programming language)
1695:
951:C Sharp (programming language)
214:
211:
198:
185:
1:
9061:
6736:Scheme (programming language)
5741:Python (programming language)
4350:Kotlin (programming language)
3889:
2796:as argument. If the function
2788:). It evaluates the function
2567:Erlang (programming language)
2233:Elixir (programming language)
6931:Swift (programming language)
6550:Scala (programming language)
4194:Julia (programming language)
124:that is itself a procedure),
7:
9014:
7907:object-oriented programming
6343:Rust (programming language)
6187:Ruby (programming language)
6081:Raku (programming language)
3462:Java (programming language)
2780:takes a list of functions (
2035:Dart (programming language)
10:
9137:
9031:Function-level programming
7900:
7229:
7168:
7102:
6928:
6733:
6547:
6340:
6184:
6078:
5956:
5738:
5344:
4925:
4814:
4680:
4539:Lua (programming language)
4536:
4347:
4191:
4027:Or with classical syntax:
3893:
3459:
3338:
3182:
3178:
2943:
2859:
2828:the higher-order function
2812:then the next function in
2564:
2230:
2032:
1849:
1699:
1543:ColdFusion Markup Language
1540:
1426:
1422:
948:
498:
359:APL (programming language)
356:
18:
7844:
7225:
6729:
5734:
4676:
4343:
2946:Go (programming language)
2560:
2226:
21:Functor (category theory)
8308:
7943:
7890:just-in-time compilation
7400:
7235:
7177:
7164:
7108:
6934:
6924:
6739:
6553:
6543:
6346:
6190:
6084:
5962:
5959:R (programming language)
5890:
5744:
5537:
5350:
5337:keyword to do the same.
5145:
4931:
4820:
4810:
4686:
4542:
4353:
4197:
4187:
4029:
3902:
3671:
3472:
3405:
3347:
3341:J (programming language)
3188:
2949:
2865:
2570:
2408:
2242:
2038:
1855:
1852:D (programming language)
1705:
1546:
1432:
1189:
957:
744:
515:
441:
362:
161:Functor (disambiguation)
131:All other functions are
19:Not to be confused with
7857:Dynamic code evaluation
6336:
6180:
6074:
5340:
2028:
60:more precise citations.
9116:Higher-order functions
9106:Functional programming
9047:higher-order functions
9036:Functional programming
7863:imperative programming
7098:
4921:
4532:
4032:"use strict"
3905:"use strict"
3900:With arrow functions:
955:Using just delegates:
494:
439:Or in a tacit manner:
352:
273:is an example of this.
231:
176:functional programming
9056:Higher order messages
8304:first-class functions
7382:in languages such as
7230:Further information:
7169:Further information:
7103:Further information:
6929:Further information:
6734:Further information:
6548:Further information:
6341:Further information:
6185:Further information:
6079:Further information:
5957:Further information:
5739:Further information:
5345:Further information:
4926:Further information:
4815:Further information:
4681:Further information:
4537:Further information:
4348:Further information:
4192:Further information:
3894:Further information:
3460:Further information:
3339:Further information:
3183:Further information:
2944:Further information:
2939:
2860:Further information:
2855:
2565:Further information:
2231:Further information:
2033:Further information:
1850:Further information:
1700:Further information:
1541:Further information:
1427:Further information:
949:Further information:
944:
499:Further information:
357:Further information:
347:don't repeat yourself
232:
172:typed lambda calculus
149:differential operator
133:first-order functions
98:higher-order function
9021:First-class function
9005:function overloading
5952:
3677:java.util.function.*
3478:java.util.function.*
3466:Java version history
3334:
1845:
292:Function composition
182:
114:procedural parameter
8300:Defunctionalization
8295:Defunctionalization
7930:-based) objects or
7207:allowedCitizenships
5105:'plusThree'
2239:anonymous functions
7892:) or evaluated by
2792:with the argument
527:<functional>
227:
174:, from which most
9026:Combinatory logic
7380:Function pointers
7375:Function pointers
7195:anyOfAny(function
86:
85:
78:
9128:
9090:
9089:
9087:
9086:
9072:
9051:Strategy pattern
9010:
8999:
8996:
8993:
8990:
8987:
8984:
8981:
8978:
8975:
8972:
8969:
8966:
8963:
8960:
8957:
8954:
8951:
8948:
8945:
8942:
8939:
8936:
8933:
8930:
8927:
8924:
8921:
8918:
8915:
8912:
8909:
8906:
8903:
8900:
8897:
8894:
8891:
8888:
8885:
8882:
8879:
8876:
8873:
8870:
8867:
8864:
8861:
8858:
8855:
8852:
8849:
8846:
8843:
8840:
8837:
8834:
8831:
8828:
8825:
8822:
8819:
8816:
8813:
8810:
8807:
8804:
8801:
8798:
8795:
8792:
8789:
8786:
8783:
8780:
8777:
8774:
8771:
8768:
8765:
8762:
8759:
8756:
8753:
8750:
8747:
8744:
8741:
8738:
8735:
8732:
8729:
8726:
8723:
8720:
8717:
8714:
8711:
8708:
8705:
8702:
8699:
8696:
8693:
8690:
8687:
8684:
8681:
8678:
8675:
8672:
8669:
8666:
8663:
8660:
8657:
8654:
8651:
8648:
8645:
8642:
8639:
8636:
8633:
8630:
8627:
8624:
8621:
8618:
8615:
8612:
8609:
8606:
8603:
8600:
8597:
8594:
8591:
8588:
8585:
8582:
8579:
8576:
8573:
8570:
8567:
8564:
8561:
8558:
8555:
8552:
8549:
8546:
8543:
8540:
8537:
8534:
8531:
8528:
8525:
8522:
8519:
8516:
8513:
8510:
8507:
8504:
8501:
8498:
8495:
8492:
8489:
8486:
8483:
8480:
8477:
8474:
8471:
8468:
8465:
8462:
8459:
8456:
8453:
8450:
8447:
8444:
8441:
8438:
8435:
8432:
8429:
8426:
8423:
8420:
8417:
8414:
8411:
8408:
8405:
8402:
8399:
8396:
8393:
8390:
8387:
8384:
8381:
8378:
8375:
8372:
8369:
8366:
8363:
8360:
8357:
8354:
8351:
8348:
8345:
8342:
8339:
8336:
8333:
8330:
8327:
8324:
8321:
8318:
8315:
8312:
8291:fields (3 + 7).
8290:
8286:
8282:
8278:
8271:
8268:
8265:
8262:
8259:
8256:
8253:
8250:
8247:
8244:
8241:
8238:
8235:
8232:
8229:
8226:
8223:
8220:
8217:
8214:
8211:
8208:
8205:
8202:
8199:
8196:
8193:
8190:
8187:
8184:
8181:
8178:
8175:
8172:
8169:
8166:
8163:
8160:
8157:
8154:
8151:
8148:
8145:
8142:
8139:
8136:
8133:
8130:
8127:
8124:
8121:
8118:
8115:
8112:
8109:
8106:
8103:
8100:
8097:
8094:
8091:
8088:
8085:
8082:
8079:
8076:
8073:
8070:
8067:
8064:
8061:
8058:
8055:
8052:
8049:
8046:
8043:
8040:
8037:
8034:
8031:
8028:
8025:
8022:
8019:
8016:
8013:
8010:
8007:
8004:
8001:
7998:
7995:
7992:
7989:
7986:
7983:
7980:
7977:
7974:
7971:
7968:
7965:
7962:
7959:
7956:
7953:
7950:
7947:
7920:boilerplate code
7879:statically typed
7833:
7830:
7827:
7824:
7821:
7818:
7815:
7812:
7809:
7806:
7803:
7800:
7797:
7794:
7791:
7788:
7785:
7782:
7779:
7776:
7773:
7770:
7767:
7764:
7761:
7758:
7755:
7752:
7749:
7746:
7743:
7740:
7737:
7734:
7731:
7728:
7725:
7722:
7719:
7716:
7713:
7710:
7707:
7704:
7701:
7698:
7695:
7692:
7689:
7686:
7683:
7680:
7677:
7674:
7671:
7668:
7665:
7662:
7659:
7656:
7653:
7650:
7647:
7644:
7641:
7638:
7635:
7632:
7629:
7626:
7623:
7620:
7617:
7614:
7611:
7608:
7605:
7602:
7599:
7596:
7593:
7590:
7587:
7584:
7581:
7578:
7575:
7572:
7569:
7566:
7563:
7560:
7557:
7554:
7551:
7548:
7545:
7542:
7539:
7536:
7533:
7530:
7527:
7524:
7521:
7518:
7515:
7512:
7509:
7506:
7503:
7500:
7497:
7494:
7491:
7488:
7485:
7482:
7479:
7476:
7473:
7470:
7467:
7464:
7461:
7458:
7455:
7452:
7449:
7446:
7443:
7440:
7437:
7434:
7431:
7428:
7425:
7422:
7419:
7416:
7413:
7410:
7407:
7404:
7365:
7362:
7359:
7356:
7353:
7350:
7347:
7344:
7341:
7338:
7335:
7332:
7329:
7326:
7323:
7320:
7317:
7314:
7311:
7308:
7305:
7302:
7299:
7296:
7293:
7290:
7287:
7284:
7281:
7278:
7275:
7272:
7269:
7266:
7263:
7260:
7257:
7254:
7251:
7248:
7245:
7242:
7239:
7214:
7211:
7208:
7205:
7202:
7199:
7196:
7193:
7190:
7187:
7184:
7181:
7157:
7154:
7151:
7148:
7145:
7142:
7139:
7135:
7132:
7129:
7126:
7123:
7119:
7116:
7112:
7094:
7091:
7088:
7085:
7082:
7079:
7076:
7073:
7070:
7067:
7064:
7061:
7058:
7055:
7052:
7049:
7046:
7043:
7040:
7037:
7034:
7031:
7028:
7025:
7022:
7019:
7016:
7013:
7010:
7007:
7004:
7001:
6998:
6995:
6992:
6989:
6986:
6983:
6980:
6977:
6974:
6971:
6968:
6965:
6962:
6959:
6956:
6953:
6950:
6947:
6944:
6941:
6938:
6920:
6917:
6914:
6911:
6908:
6905:
6902:
6899:
6896:
6893:
6890:
6887:
6884:
6881:
6878:
6875:
6872:
6869:
6866:
6863:
6860:
6857:
6854:
6851:
6848:
6845:
6842:
6839:
6836:
6833:
6830:
6827:
6824:
6821:
6818:
6815:
6812:
6809:
6806:
6803:
6800:
6797:
6794:
6791:
6788:
6785:
6782:
6779:
6776:
6773:
6770:
6767:
6764:
6761:
6758:
6755:
6752:
6749:
6746:
6743:
6725:
6722:
6719:
6716:
6713:
6710:
6707:
6704:
6701:
6698:
6695:
6692:
6689:
6686:
6683:
6680:
6677:
6674:
6671:
6668:
6665:
6662:
6659:
6656:
6653:
6650:
6647:
6644:
6641:
6638:
6635:
6632:
6629:
6626:
6623:
6620:
6617:
6614:
6611:
6608:
6605:
6602:
6599:
6596:
6593:
6590:
6587:
6584:
6581:
6578:
6575:
6572:
6569:
6566:
6563:
6560:
6557:
6539:
6536:
6533:
6530:
6527:
6524:
6521:
6518:
6515:
6512:
6509:
6506:
6503:
6500:
6497:
6494:
6491:
6488:
6485:
6482:
6479:
6476:
6473:
6470:
6467:
6464:
6461:
6457:
6454:
6450:
6447:
6444:
6441:
6438:
6435:
6432:
6429:
6426:
6423:
6420:
6417:
6414:
6411:
6408:
6405:
6402:
6398:
6395:
6392:
6389:
6386:
6382:
6379:
6375:
6372:
6369:
6366:
6363:
6359:
6356:
6353:
6350:
6332:
6329:
6326:
6323:
6320:
6317:
6314:
6311:
6308:
6305:
6302:
6299:
6296:
6293:
6290:
6287:
6284:
6281:
6278:
6275:
6272:
6269:
6266:
6263:
6260:
6257:
6254:
6251:
6248:
6245:
6242:
6239:
6236:
6233:
6230:
6227:
6224:
6221:
6218:
6215:
6212:
6209:
6206:
6203:
6200:
6197:
6194:
6172:
6168:
6164:
6161:
6157:
6153:
6149:
6146:
6142:
6138:
6135:
6131:
6128:
6124:
6121:
6117:
6113:
6109:
6105:
6102:
6098:
6095:
6091:
6088:
6070:
6067:
6064:
6061:
6058:
6055:
6052:
6049:
6046:
6043:
6040:
6037:
6034:
6031:
6028:
6025:
6022:
6019:
6016:
6013:
6010:
6007:
6004:
6001:
5998:
5995:
5992:
5989:
5986:
5983:
5979:
5976:
5973:
5969:
5966:
5948:
5945:
5942:
5939:
5936:
5933:
5930:
5927:
5924:
5921:
5918:
5915:
5912:
5909:
5906:
5903:
5900:
5897:
5894:
5887:
5880:
5877:
5874:
5871:
5868:
5865:
5862:
5859:
5856:
5853:
5850:
5847:
5844:
5841:
5838:
5835:
5832:
5829:
5826:
5823:
5820:
5817:
5814:
5811:
5808:
5805:
5802:
5799:
5796:
5793:
5790:
5787:
5784:
5781:
5778:
5775:
5772:
5769:
5766:
5763:
5760:
5757:
5754:
5751:
5748:
5730:
5727:
5724:
5721:
5718:
5715:
5712:
5709:
5706:
5703:
5700:
5697:
5694:
5691:
5688:
5685:
5682:
5679:
5676:
5673:
5670:
5667:
5664:
5661:
5658:
5655:
5652:
5649:
5646:
5643:
5640:
5637:
5634:
5631:
5628:
5625:
5622:
5619:
5616:
5613:
5610:
5607:
5604:
5601:
5598:
5595:
5592:
5589:
5586:
5583:
5580:
5577:
5574:
5571:
5568:
5565:
5562:
5559:
5556:
5553:
5550:
5547:
5544:
5541:
5531:
5528:
5525:
5522:
5519:
5516:
5513:
5510:
5507:
5504:
5501:
5498:
5495:
5492:
5489:
5486:
5483:
5480:
5477:
5474:
5471:
5468:
5465:
5462:
5459:
5456:
5453:
5450:
5447:
5444:
5441:
5438:
5435:
5432:
5429:
5426:
5423:
5420:
5417:
5414:
5411:
5408:
5405:
5402:
5399:
5396:
5393:
5390:
5387:
5384:
5381:
5378:
5375:
5372:
5369:
5366:
5363:
5360:
5357:
5354:
5336:
5329:
5326:
5323:
5320:
5317:
5314:
5311:
5308:
5305:
5302:
5299:
5296:
5293:
5290:
5287:
5284:
5281:
5278:
5275:
5272:
5269:
5266:
5263:
5260:
5257:
5254:
5251:
5248:
5245:
5242:
5239:
5236:
5233:
5230:
5227:
5224:
5221:
5218:
5215:
5212:
5209:
5206:
5203:
5200:
5197:
5194:
5191:
5188:
5185:
5182:
5179:
5176:
5173:
5170:
5167:
5164:
5161:
5158:
5155:
5152:
5149:
5139:
5136:
5133:
5130:
5127:
5124:
5121:
5118:
5115:
5112:
5109:
5106:
5103:
5100:
5097:
5094:
5091:
5088:
5085:
5082:
5079:
5076:
5073:
5070:
5067:
5064:
5061:
5058:
5055:
5052:
5049:
5046:
5043:
5040:
5037:
5034:
5031:
5028:
5025:
5022:
5019:
5016:
5013:
5010:
5007:
5004:
5001:
4998:
4995:
4992:
4989:
4986:
4983:
4980:
4977:
4974:
4971:
4968:
4965:
4962:
4959:
4956:
4953:
4950:
4947:
4944:
4941:
4938:
4935:
4917:
4914:
4911:
4908:
4905:
4902:
4899:
4896:
4893:
4890:
4887:
4884:
4881:
4878:
4875:
4872:
4869:
4866:
4863:
4860:
4857:
4854:
4851:
4848:
4845:
4842:
4839:
4836:
4833:
4830:
4827:
4824:
4806:
4803:
4800:
4797:
4794:
4791:
4788:
4785:
4782:
4779:
4776:
4773:
4770:
4767:
4764:
4761:
4758:
4755:
4752:
4749:
4746:
4743:
4740:
4737:
4734:
4731:
4728:
4725:
4722:
4719:
4716:
4713:
4710:
4707:
4704:
4700:
4697:
4694:
4690:
4672:
4669:
4666:
4663:
4660:
4657:
4654:
4651:
4648:
4645:
4642:
4639:
4636:
4633:
4630:
4627:
4624:
4621:
4618:
4615:
4612:
4609:
4606:
4603:
4600:
4597:
4594:
4591:
4588:
4585:
4582:
4579:
4576:
4573:
4570:
4567:
4564:
4561:
4558:
4555:
4552:
4549:
4546:
4528:
4525:
4522:
4519:
4516:
4513:
4510:
4507:
4504:
4501:
4498:
4495:
4492:
4489:
4486:
4483:
4480:
4477:
4474:
4471:
4468:
4465:
4462:
4459:
4456:
4453:
4450:
4447:
4444:
4441:
4438:
4435:
4432:
4429:
4426:
4423:
4420:
4417:
4414:
4411:
4408:
4405:
4402:
4399:
4396:
4393:
4390:
4387:
4384:
4381:
4378:
4375:
4372:
4369:
4366:
4363:
4360:
4357:
4339:
4336:
4333:
4330:
4327:
4324:
4321:
4318:
4315:
4312:
4309:
4306:
4303:
4300:
4297:
4294:
4291:
4288:
4285:
4282:
4279:
4276:
4273:
4270:
4267:
4264:
4261:
4258:
4255:
4252:
4249:
4246:
4243:
4240:
4237:
4234:
4231:
4228:
4225:
4222:
4219:
4216:
4213:
4210:
4207:
4204:
4201:
4183:
4180:
4177:
4174:
4171:
4168:
4165:
4162:
4159:
4156:
4153:
4150:
4147:
4144:
4141:
4138:
4135:
4132:
4129:
4126:
4123:
4120:
4117:
4114:
4111:
4108:
4105:
4102:
4099:
4096:
4093:
4090:
4087:
4084:
4081:
4078:
4075:
4072:
4069:
4066:
4063:
4060:
4057:
4054:
4051:
4048:
4045:
4042:
4039:
4036:
4033:
4023:
4020:
4017:
4014:
4011:
4008:
4005:
4002:
3999:
3996:
3993:
3990:
3987:
3984:
3981:
3978:
3975:
3972:
3969:
3966:
3963:
3960:
3957:
3954:
3951:
3948:
3945:
3942:
3939:
3936:
3933:
3930:
3927:
3924:
3921:
3918:
3915:
3912:
3909:
3906:
3885:
3882:
3879:
3876:
3873:
3870:
3867:
3864:
3861:
3858:
3855:
3852:
3849:
3846:
3843:
3840:
3837:
3834:
3831:
3828:
3825:
3822:
3819:
3816:
3813:
3810:
3807:
3804:
3801:
3798:
3795:
3792:
3789:
3786:
3783:
3780:
3777:
3774:
3771:
3768:
3765:
3762:
3759:
3756:
3753:
3750:
3747:
3744:
3741:
3738:
3735:
3732:
3729:
3726:
3723:
3720:
3717:
3714:
3711:
3708:
3707:IntUnaryOperator
3705:
3702:
3699:
3698:IntUnaryOperator
3696:
3693:
3690:
3687:
3684:
3681:
3678:
3675:
3665:
3662:
3659:
3656:
3653:
3650:
3647:
3644:
3641:
3638:
3635:
3632:
3629:
3626:
3623:
3620:
3617:
3614:
3611:
3608:
3605:
3602:
3599:
3596:
3593:
3590:
3587:
3584:
3581:
3578:
3575:
3572:
3569:
3568:IntUnaryOperator
3566:
3563:
3560:
3557:
3554:
3551:
3548:
3545:
3542:
3539:
3536:
3533:
3532:IntUnaryOperator
3530:
3527:
3526:IntUnaryOperator
3524:
3521:
3518:
3515:
3512:
3509:
3506:
3503:
3500:
3497:
3494:
3491:
3488:
3485:
3482:
3479:
3476:
3451:
3448:
3445:
3442:
3439:
3436:
3433:
3430:
3427:
3424:
3421:
3418:
3415:
3412:
3409:
3399:
3396:
3393:
3390:
3387:
3384:
3381:
3378:
3375:
3372:
3369:
3366:
3363:
3360:
3357:
3354:
3351:
3330:
3327:
3324:
3321:
3318:
3315:
3312:
3309:
3306:
3303:
3300:
3297:
3294:
3291:
3288:
3285:
3282:
3279:
3276:
3273:
3270:
3267:
3264:
3261:
3258:
3255:
3252:
3249:
3246:
3243:
3240:
3237:
3234:
3231:
3228:
3225:
3222:
3219:
3216:
3213:
3210:
3207:
3204:
3201:
3198:
3195:
3192:
3174:
3170:
3163:
3160:
3157:
3154:
3151:
3148:
3145:
3142:
3139:
3136:
3133:
3130:
3127:
3124:
3121:
3118:
3115:
3112:
3109:
3106:
3103:
3100:
3097:
3094:
3091:
3088:
3085:
3082:
3079:
3076:
3073:
3070:
3067:
3064:
3061:
3058:
3055:
3052:
3049:
3046:
3043:
3040:
3037:
3034:
3031:
3028:
3025:
3022:
3019:
3016:
3013:
3010:
3007:
3004:
3001:
2998:
2995:
2992:
2989:
2986:
2983:
2980:
2977:
2974:
2971:
2968:
2965:
2962:
2959:
2956:
2953:
2935:
2932:
2929:
2926:
2923:
2920:
2917:
2914:
2911:
2908:
2905:
2902:
2899:
2896:
2893:
2890:
2887:
2884:
2881:
2878:
2875:
2872:
2869:
2851:
2847:
2843:
2839:
2835:
2831:
2827:
2823:
2819:
2815:
2811:
2807:
2803:
2799:
2795:
2791:
2787:
2784:) and argument (
2783:
2779:
2772:
2769:
2766:
2763:
2760:
2757:
2754:
2751:
2748:
2745:
2742:
2739:
2736:
2733:
2730:
2727:
2724:
2721:
2718:
2715:
2712:
2709:
2706:
2703:
2700:
2697:
2694:
2691:
2688:
2685:
2682:
2679:
2676:
2673:
2670:
2667:
2664:
2661:
2658:
2655:
2652:
2649:
2646:
2643:
2640:
2637:
2634:
2631:
2628:
2625:
2622:
2619:
2616:
2613:
2610:
2607:
2604:
2601:
2598:
2595:
2592:
2589:
2586:
2583:
2580:
2577:
2574:
2556:
2553:
2550:
2547:
2544:
2541:
2538:
2535:
2532:
2529:
2526:
2523:
2520:
2517:
2514:
2511:
2508:
2505:
2502:
2499:
2496:
2493:
2490:
2487:
2484:
2481:
2478:
2475:
2472:
2469:
2466:
2463:
2460:
2457:
2454:
2451:
2448:
2445:
2442:
2439:
2436:
2433:
2430:
2427:
2424:
2421:
2418:
2415:
2412:
2402:
2399:
2396:
2393:
2390:
2387:
2384:
2381:
2378:
2375:
2372:
2369:
2366:
2363:
2360:
2357:
2354:
2351:
2348:
2345:
2342:
2339:
2336:
2333:
2330:
2327:
2324:
2321:
2318:
2315:
2312:
2309:
2306:
2303:
2300:
2297:
2294:
2291:
2288:
2285:
2282:
2279:
2276:
2273:
2270:
2267:
2264:
2261:
2258:
2255:
2252:
2249:
2246:
2222:
2219:
2216:
2213:
2210:
2207:
2204:
2201:
2198:
2195:
2192:
2189:
2186:
2183:
2180:
2177:
2174:
2171:
2168:
2165:
2162:
2159:
2156:
2153:
2150:
2147:
2144:
2141:
2138:
2135:
2132:
2129:
2126:
2123:
2120:
2117:
2114:
2111:
2108:
2105:
2102:
2099:
2096:
2093:
2090:
2087:
2084:
2081:
2078:
2075:
2072:
2069:
2066:
2063:
2060:
2057:
2054:
2051:
2048:
2045:
2042:
2024:
2021:
2018:
2015:
2012:
2009:
2006:
2003:
2000:
1997:
1994:
1991:
1988:
1985:
1982:
1979:
1976:
1973:
1970:
1967:
1964:
1961:
1958:
1955:
1952:
1949:
1946:
1943:
1940:
1937:
1934:
1931:
1928:
1925:
1922:
1919:
1916:
1913:
1910:
1907:
1904:
1901:
1898:
1895:
1892:
1889:
1886:
1883:
1880:
1877:
1874:
1871:
1868:
1865:
1862:
1859:
1841:
1838:
1835:
1832:
1829:
1826:
1823:
1820:
1817:
1814:
1811:
1808:
1805:
1802:
1799:
1796:
1793:
1790:
1787:
1784:
1781:
1778:
1775:
1772:
1769:
1766:
1763:
1760:
1757:
1754:
1751:
1748:
1745:
1742:
1739:
1736:
1733:
1730:
1727:
1724:
1721:
1718:
1715:
1712:
1709:
1691:
1688:
1685:
1682:
1679:
1676:
1673:
1670:
1667:
1664:
1661:
1658:
1655:
1652:
1649:
1646:
1643:
1640:
1637:
1634:
1631:
1628:
1625:
1622:
1619:
1616:
1613:
1610:
1607:
1604:
1601:
1598:
1595:
1592:
1589:
1586:
1583:
1580:
1577:
1574:
1571:
1568:
1565:
1562:
1559:
1556:
1553:
1550:
1532:
1529:
1526:
1523:
1520:
1517:
1514:
1511:
1508:
1505:
1502:
1499:
1496:
1493:
1490:
1487:
1484:
1481:
1478:
1475:
1472:
1469:
1466:
1463:
1460:
1457:
1454:
1451:
1448:
1445:
1442:
1439:
1436:
1418:
1415:
1412:
1409:
1406:
1403:
1400:
1397:
1394:
1391:
1388:
1385:
1382:
1379:
1376:
1373:
1370:
1367:
1364:
1361:
1358:
1355:
1352:
1349:
1346:
1343:
1340:
1337:
1334:
1331:
1328:
1325:
1322:
1319:
1316:
1313:
1310:
1307:
1304:
1301:
1298:
1295:
1292:
1289:
1286:
1283:
1280:
1277:
1274:
1271:
1268:
1265:
1262:
1259:
1256:
1253:
1250:
1247:
1244:
1241:
1238:
1235:
1232:
1229:
1226:
1223:
1220:
1217:
1214:
1211:
1208:
1205:
1202:
1199:
1196:
1193:
1183:
1180:
1177:
1174:
1171:
1168:
1165:
1162:
1159:
1156:
1153:
1150:
1147:
1144:
1141:
1138:
1135:
1132:
1129:
1126:
1123:
1120:
1117:
1114:
1111:
1108:
1105:
1102:
1099:
1096:
1093:
1090:
1087:
1084:
1081:
1078:
1075:
1072:
1069:
1066:
1063:
1060:
1057:
1054:
1051:
1048:
1045:
1042:
1039:
1036:
1033:
1030:
1027:
1024:
1021:
1018:
1015:
1012:
1009:
1006:
1003:
1000:
997:
994:
991:
988:
985:
982:
979:
976:
973:
970:
967:
964:
961:
940:
937:
934:
931:
928:
925:
922:
919:
916:
913:
910:
907:
904:
901:
898:
895:
892:
889:
886:
883:
880:
877:
874:
871:
868:
865:
862:
859:
856:
853:
850:
847:
844:
841:
838:
835:
832:
829:
826:
823:
820:
817:
814:
811:
808:
805:
802:
799:
796:
793:
790:
787:
784:
781:
778:
775:
772:
769:
766:
763:
760:
757:
754:
751:
750:<iostream>
748:
738:
735:
732:
729:
726:
723:
720:
717:
714:
711:
708:
705:
702:
699:
696:
693:
690:
687:
684:
681:
678:
675:
672:
669:
666:
663:
660:
657:
654:
651:
648:
645:
642:
639:
636:
633:
630:
627:
624:
621:
618:
615:
612:
609:
606:
603:
600:
597:
594:
591:
588:
585:
582:
579:
576:
573:
570:
567:
564:
561:
558:
555:
552:
549:
546:
543:
540:
537:
534:
531:
528:
525:
522:
521:<iostream>
519:
508:
490:
487:
484:
481:
478:
475:
472:
469:
466:
463:
460:
457:
454:
451:
448:
445:
435:
432:
429:
426:
423:
420:
417:
414:
411:
408:
405:
402:
399:
396:
393:
390:
387:
384:
381:
378:
375:
372:
369:
366:
344:
340:
336:
312:Montague grammar
272:
250:
241:General examples
236:
234:
233:
228:
226:
225:
210:
209:
197:
196:
94:computer science
81:
74:
70:
67:
61:
56:this article by
47:inline citations
34:
33:
26:
9136:
9135:
9131:
9130:
9129:
9127:
9126:
9125:
9111:Lambda calculus
9096:
9095:
9094:
9093:
9084:
9082:
9074:
9073:
9069:
9064:
9017:
9008:
9001:
9000:
8997:
8994:
8991:
8988:
8985:
8982:
8979:
8976:
8973:
8970:
8967:
8964:
8961:
8958:
8955:
8952:
8949:
8946:
8943:
8940:
8937:
8934:
8931:
8928:
8925:
8922:
8919:
8916:
8913:
8910:
8907:
8904:
8901:
8898:
8895:
8892:
8889:
8886:
8883:
8880:
8877:
8874:
8871:
8868:
8865:
8862:
8859:
8856:
8853:
8850:
8847:
8844:
8841:
8838:
8835:
8832:
8829:
8826:
8823:
8820:
8817:
8814:
8811:
8808:
8805:
8802:
8799:
8796:
8793:
8790:
8787:
8784:
8781:
8778:
8775:
8772:
8769:
8766:
8763:
8760:
8757:
8754:
8751:
8748:
8745:
8742:
8739:
8736:
8733:
8730:
8727:
8724:
8721:
8718:
8715:
8712:
8709:
8706:
8703:
8700:
8697:
8694:
8691:
8688:
8685:
8682:
8679:
8676:
8673:
8670:
8667:
8664:
8661:
8658:
8655:
8652:
8649:
8646:
8643:
8640:
8637:
8634:
8631:
8628:
8625:
8622:
8619:
8616:
8613:
8610:
8607:
8604:
8601:
8598:
8595:
8592:
8589:
8586:
8583:
8580:
8577:
8574:
8571:
8568:
8565:
8562:
8559:
8556:
8553:
8550:
8547:
8544:
8541:
8538:
8535:
8532:
8529:
8526:
8523:
8520:
8517:
8514:
8511:
8508:
8505:
8502:
8499:
8496:
8493:
8490:
8487:
8484:
8481:
8478:
8475:
8472:
8469:
8466:
8463:
8460:
8457:
8454:
8451:
8448:
8445:
8442:
8439:
8436:
8433:
8430:
8427:
8424:
8421:
8418:
8415:
8412:
8409:
8406:
8403:
8400:
8397:
8394:
8391:
8388:
8385:
8382:
8379:
8376:
8373:
8370:
8367:
8364:
8361:
8358:
8355:
8352:
8349:
8346:
8343:
8340:
8337:
8334:
8331:
8328:
8325:
8322:
8319:
8316:
8313:
8310:
8297:
8288:
8284:
8280:
8276:
8273:
8272:
8269:
8266:
8263:
8260:
8257:
8254:
8251:
8248:
8245:
8242:
8239:
8236:
8233:
8230:
8227:
8224:
8221:
8218:
8215:
8212:
8209:
8206:
8203:
8200:
8197:
8194:
8191:
8188:
8185:
8182:
8179:
8176:
8173:
8170:
8167:
8164:
8161:
8158:
8155:
8152:
8149:
8146:
8143:
8140:
8137:
8134:
8131:
8128:
8125:
8122:
8119:
8116:
8113:
8110:
8107:
8104:
8101:
8098:
8095:
8092:
8089:
8086:
8083:
8080:
8077:
8074:
8071:
8068:
8065:
8062:
8059:
8056:
8053:
8050:
8047:
8044:
8041:
8038:
8035:
8032:
8029:
8026:
8023:
8020:
8017:
8014:
8011:
8008:
8005:
8002:
7999:
7996:
7993:
7990:
7987:
7984:
7981:
7978:
7975:
7972:
7969:
7966:
7963:
7960:
7957:
7954:
7951:
7948:
7945:
7926:-based (versus
7903:
7859:
7847:
7835:
7834:
7831:
7828:
7825:
7822:
7819:
7816:
7813:
7810:
7807:
7804:
7801:
7798:
7795:
7792:
7789:
7786:
7783:
7780:
7777:
7774:
7771:
7768:
7765:
7762:
7759:
7756:
7753:
7750:
7747:
7744:
7741:
7738:
7735:
7732:
7729:
7726:
7723:
7720:
7717:
7714:
7711:
7708:
7705:
7702:
7699:
7696:
7693:
7690:
7687:
7684:
7681:
7678:
7675:
7672:
7669:
7666:
7663:
7660:
7657:
7654:
7651:
7648:
7645:
7642:
7639:
7636:
7633:
7630:
7627:
7624:
7621:
7618:
7615:
7612:
7609:
7606:
7603:
7600:
7597:
7594:
7591:
7588:
7585:
7582:
7579:
7576:
7573:
7570:
7567:
7564:
7561:
7558:
7555:
7552:
7549:
7546:
7543:
7540:
7537:
7534:
7531:
7528:
7525:
7522:
7519:
7516:
7513:
7510:
7507:
7504:
7501:
7498:
7495:
7492:
7489:
7486:
7483:
7480:
7477:
7474:
7471:
7468:
7465:
7462:
7459:
7456:
7453:
7450:
7447:
7444:
7441:
7438:
7435:
7432:
7429:
7426:
7423:
7420:
7417:
7414:
7411:
7408:
7406:<stdio.h>
7405:
7402:
7377:
7372:
7367:
7366:
7363:
7360:
7357:
7354:
7351:
7348:
7346:local:plusthree
7345:
7342:
7339:
7336:
7333:
7330:
7327:
7324:
7321:
7318:
7315:
7312:
7309:
7307:local:plusthree
7306:
7303:
7300:
7297:
7294:
7291:
7288:
7285:
7282:
7279:
7276:
7273:
7270:
7267:
7264:
7261:
7258:
7255:
7252:
7249:
7246:
7243:
7240:
7237:
7234:
7228:
7216:
7215:
7212:
7209:
7206:
7203:
7200:
7197:
7194:
7191:
7188:
7185:
7182:
7179:
7173:
7167:
7159:
7158:
7155:
7152:
7149:
7146:
7143:
7140:
7137:
7133:
7130:
7127:
7124:
7121:
7117:
7114:
7110:
7107:
7101:
7096:
7095:
7092:
7089:
7086:
7083:
7080:
7077:
7074:
7071:
7068:
7065:
7062:
7059:
7056:
7053:
7050:
7047:
7044:
7041:
7038:
7035:
7032:
7029:
7026:
7023:
7020:
7017:
7014:
7011:
7008:
7005:
7002:
6999:
6996:
6993:
6990:
6987:
6984:
6981:
6978:
6975:
6972:
6969:
6966:
6963:
6960:
6957:
6954:
6951:
6948:
6945:
6942:
6939:
6936:
6933:
6927:
6922:
6921:
6918:
6915:
6912:
6909:
6906:
6903:
6900:
6897:
6894:
6891:
6888:
6885:
6882:
6879:
6876:
6873:
6870:
6867:
6864:
6861:
6858:
6855:
6852:
6849:
6846:
6843:
6840:
6837:
6834:
6831:
6828:
6825:
6822:
6819:
6816:
6813:
6810:
6807:
6804:
6801:
6798:
6795:
6792:
6789:
6786:
6783:
6780:
6777:
6774:
6771:
6768:
6765:
6762:
6759:
6756:
6753:
6750:
6747:
6744:
6741:
6738:
6732:
6727:
6726:
6723:
6720:
6717:
6714:
6711:
6708:
6705:
6702:
6699:
6696:
6693:
6690:
6687:
6684:
6681:
6678:
6675:
6672:
6669:
6666:
6663:
6660:
6657:
6654:
6651:
6648:
6645:
6642:
6639:
6636:
6633:
6630:
6627:
6624:
6621:
6618:
6615:
6612:
6609:
6606:
6603:
6600:
6597:
6594:
6591:
6588:
6585:
6582:
6579:
6576:
6573:
6570:
6567:
6564:
6561:
6558:
6555:
6552:
6546:
6541:
6540:
6537:
6534:
6531:
6528:
6525:
6522:
6519:
6516:
6513:
6510:
6507:
6504:
6501:
6498:
6495:
6492:
6489:
6486:
6483:
6480:
6477:
6474:
6471:
6468:
6465:
6462:
6459:
6455:
6452:
6448:
6445:
6442:
6439:
6436:
6433:
6430:
6427:
6424:
6421:
6418:
6415:
6412:
6409:
6406:
6403:
6400:
6396:
6393:
6390:
6387:
6384:
6380:
6377:
6373:
6370:
6367:
6364:
6361:
6357:
6354:
6351:
6348:
6345:
6339:
6334:
6333:
6330:
6327:
6324:
6321:
6318:
6315:
6312:
6309:
6306:
6303:
6300:
6297:
6294:
6291:
6288:
6285:
6282:
6279:
6276:
6273:
6270:
6267:
6264:
6261:
6258:
6255:
6252:
6249:
6246:
6243:
6240:
6237:
6234:
6231:
6228:
6225:
6222:
6219:
6216:
6213:
6210:
6207:
6204:
6201:
6198:
6195:
6192:
6189:
6183:
6174:
6173:
6170:
6166:
6162:
6159:
6155:
6151:
6147:
6144:
6140:
6136:
6133:
6129:
6126:
6122:
6119:
6115:
6111:
6107:
6103:
6100:
6096:
6093:
6089:
6086:
6083:
6077:
6072:
6071:
6068:
6065:
6062:
6059:
6056:
6053:
6050:
6047:
6044:
6041:
6038:
6035:
6032:
6029:
6026:
6023:
6020:
6017:
6014:
6011:
6008:
6005:
6002:
5999:
5996:
5993:
5990:
5987:
5984:
5981:
5977:
5974:
5971:
5967:
5964:
5961:
5955:
5950:
5949:
5946:
5943:
5940:
5937:
5934:
5931:
5928:
5925:
5922:
5919:
5916:
5913:
5910:
5907:
5904:
5901:
5898:
5895:
5892:
5882:
5881:
5878:
5875:
5872:
5869:
5866:
5863:
5860:
5857:
5854:
5851:
5848:
5845:
5842:
5839:
5836:
5833:
5830:
5827:
5824:
5821:
5818:
5815:
5812:
5809:
5806:
5803:
5800:
5797:
5794:
5791:
5788:
5785:
5782:
5779:
5776:
5773:
5770:
5767:
5764:
5761:
5758:
5755:
5752:
5749:
5746:
5743:
5737:
5732:
5731:
5728:
5725:
5722:
5719:
5716:
5713:
5710:
5707:
5704:
5701:
5698:
5695:
5692:
5689:
5686:
5683:
5680:
5677:
5674:
5671:
5668:
5665:
5662:
5659:
5656:
5653:
5650:
5647:
5644:
5641:
5638:
5635:
5632:
5629:
5626:
5623:
5620:
5617:
5614:
5611:
5608:
5605:
5602:
5599:
5596:
5593:
5590:
5587:
5584:
5581:
5578:
5575:
5572:
5569:
5566:
5563:
5560:
5557:
5554:
5551:
5548:
5545:
5542:
5539:
5533:
5532:
5529:
5526:
5523:
5520:
5517:
5514:
5511:
5508:
5505:
5502:
5499:
5496:
5493:
5490:
5487:
5484:
5481:
5478:
5475:
5472:
5469:
5466:
5463:
5460:
5457:
5454:
5451:
5448:
5445:
5442:
5439:
5436:
5433:
5430:
5427:
5424:
5421:
5418:
5415:
5412:
5409:
5406:
5403:
5400:
5397:
5394:
5391:
5388:
5385:
5382:
5379:
5376:
5373:
5370:
5367:
5364:
5361:
5358:
5355:
5352:
5349:
5343:
5331:
5330:
5327:
5324:
5321:
5318:
5315:
5312:
5309:
5306:
5303:
5300:
5297:
5294:
5291:
5288:
5285:
5282:
5279:
5276:
5273:
5270:
5267:
5264:
5261:
5258:
5255:
5252:
5249:
5246:
5243:
5240:
5237:
5234:
5231:
5228:
5225:
5222:
5219:
5216:
5213:
5210:
5207:
5204:
5201:
5198:
5195:
5192:
5189:
5186:
5183:
5180:
5177:
5174:
5171:
5168:
5165:
5162:
5159:
5156:
5153:
5150:
5147:
5141:
5140:
5137:
5134:
5131:
5128:
5125:
5122:
5119:
5116:
5113:
5110:
5107:
5104:
5101:
5098:
5095:
5092:
5089:
5086:
5083:
5080:
5077:
5074:
5071:
5068:
5065:
5062:
5059:
5056:
5053:
5050:
5047:
5044:
5041:
5038:
5035:
5032:
5029:
5026:
5023:
5020:
5017:
5014:
5011:
5008:
5005:
5002:
4999:
4996:
4993:
4990:
4987:
4984:
4981:
4978:
4975:
4972:
4969:
4966:
4963:
4960:
4957:
4954:
4951:
4948:
4945:
4942:
4939:
4936:
4933:
4930:
4924:
4919:
4918:
4915:
4912:
4909:
4906:
4903:
4900:
4897:
4894:
4891:
4888:
4885:
4882:
4879:
4876:
4873:
4870:
4867:
4864:
4861:
4858:
4855:
4852:
4849:
4846:
4843:
4840:
4837:
4834:
4831:
4828:
4825:
4822:
4819:
4813:
4808:
4807:
4804:
4801:
4798:
4795:
4792:
4789:
4786:
4783:
4780:
4777:
4774:
4771:
4768:
4765:
4762:
4759:
4756:
4753:
4750:
4747:
4744:
4741:
4738:
4735:
4732:
4729:
4726:
4723:
4720:
4717:
4714:
4711:
4708:
4705:
4702:
4698:
4695:
4692:
4688:
4685:
4679:
4674:
4673:
4670:
4667:
4664:
4661:
4658:
4655:
4652:
4649:
4646:
4643:
4640:
4637:
4634:
4631:
4628:
4625:
4622:
4619:
4616:
4613:
4610:
4607:
4604:
4601:
4598:
4595:
4592:
4589:
4586:
4583:
4580:
4577:
4574:
4571:
4568:
4565:
4562:
4559:
4556:
4553:
4550:
4547:
4544:
4541:
4535:
4530:
4529:
4526:
4523:
4520:
4517:
4514:
4511:
4508:
4505:
4502:
4499:
4496:
4493:
4490:
4487:
4484:
4481:
4478:
4475:
4472:
4469:
4466:
4463:
4460:
4457:
4454:
4451:
4448:
4445:
4442:
4439:
4436:
4433:
4430:
4427:
4424:
4421:
4418:
4415:
4412:
4409:
4406:
4403:
4400:
4397:
4394:
4391:
4388:
4385:
4382:
4379:
4376:
4373:
4370:
4367:
4364:
4361:
4358:
4355:
4352:
4346:
4341:
4340:
4337:
4334:
4331:
4328:
4325:
4322:
4319:
4316:
4313:
4310:
4307:
4304:
4301:
4298:
4295:
4292:
4289:
4286:
4283:
4280:
4277:
4274:
4271:
4268:
4265:
4262:
4259:
4256:
4253:
4250:
4247:
4244:
4241:
4238:
4235:
4232:
4229:
4226:
4223:
4220:
4217:
4214:
4211:
4208:
4205:
4202:
4199:
4196:
4190:
4185:
4184:
4181:
4178:
4175:
4172:
4169:
4166:
4163:
4160:
4157:
4154:
4151:
4148:
4145:
4142:
4139:
4136:
4133:
4130:
4127:
4124:
4121:
4118:
4115:
4112:
4109:
4106:
4103:
4100:
4097:
4094:
4091:
4088:
4085:
4082:
4079:
4076:
4073:
4070:
4067:
4064:
4061:
4058:
4055:
4052:
4049:
4046:
4043:
4040:
4037:
4034:
4031:
4025:
4024:
4021:
4018:
4015:
4012:
4009:
4006:
4003:
4000:
3997:
3994:
3991:
3988:
3985:
3982:
3979:
3976:
3973:
3970:
3967:
3964:
3961:
3958:
3955:
3952:
3949:
3946:
3943:
3940:
3937:
3934:
3931:
3928:
3925:
3922:
3919:
3916:
3913:
3910:
3907:
3904:
3898:
3892:
3887:
3886:
3883:
3880:
3877:
3874:
3871:
3868:
3865:
3862:
3859:
3856:
3853:
3850:
3847:
3844:
3841:
3838:
3835:
3832:
3829:
3826:
3823:
3820:
3817:
3814:
3811:
3808:
3805:
3802:
3799:
3796:
3793:
3790:
3787:
3784:
3781:
3778:
3775:
3772:
3769:
3766:
3763:
3760:
3757:
3754:
3751:
3748:
3745:
3742:
3739:
3736:
3733:
3730:
3727:
3724:
3721:
3718:
3715:
3712:
3709:
3706:
3703:
3700:
3697:
3694:
3691:
3688:
3685:
3682:
3679:
3676:
3673:
3667:
3666:
3663:
3660:
3657:
3654:
3651:
3648:
3645:
3642:
3639:
3636:
3633:
3630:
3627:
3624:
3621:
3618:
3615:
3612:
3609:
3606:
3603:
3600:
3597:
3594:
3591:
3588:
3585:
3582:
3579:
3576:
3573:
3570:
3567:
3564:
3561:
3558:
3555:
3552:
3549:
3546:
3543:
3540:
3537:
3534:
3531:
3528:
3525:
3522:
3519:
3516:
3513:
3510:
3507:
3504:
3501:
3498:
3495:
3492:
3489:
3486:
3483:
3480:
3477:
3474:
3468:
3458:
3453:
3452:
3449:
3446:
3443:
3440:
3437:
3434:
3431:
3428:
3425:
3422:
3419:
3416:
3413:
3410:
3407:
3401:
3400:
3397:
3394:
3391:
3388:
3385:
3382:
3379:
3377:'y + 3'
3376:
3373:
3370:
3367:
3364:
3362:'u u y'
3361:
3358:
3355:
3352:
3349:
3343:
3337:
3332:
3331:
3328:
3325:
3322:
3319:
3316:
3313:
3310:
3307:
3304:
3301:
3298:
3295:
3292:
3289:
3286:
3283:
3280:
3277:
3274:
3271:
3268:
3265:
3262:
3259:
3256:
3253:
3250:
3247:
3244:
3241:
3238:
3235:
3232:
3229:
3226:
3223:
3220:
3217:
3214:
3211:
3208:
3205:
3202:
3199:
3196:
3193:
3190:
3187:
3181:
3165:
3164:
3161:
3158:
3155:
3152:
3149:
3146:
3143:
3140:
3137:
3134:
3131:
3128:
3125:
3122:
3119:
3116:
3113:
3110:
3107:
3104:
3101:
3098:
3095:
3092:
3089:
3086:
3083:
3080:
3077:
3074:
3071:
3068:
3065:
3062:
3059:
3056:
3053:
3050:
3047:
3044:
3041:
3038:
3035:
3032:
3029:
3026:
3023:
3020:
3017:
3014:
3011:
3008:
3005:
3002:
2999:
2996:
2993:
2990:
2987:
2984:
2981:
2978:
2975:
2972:
2969:
2966:
2963:
2961:"fmt"
2960:
2957:
2954:
2951:
2948:
2942:
2937:
2936:
2933:
2930:
2927:
2924:
2921:
2918:
2915:
2912:
2909:
2906:
2903:
2900:
2897:
2894:
2891:
2888:
2885:
2882:
2879:
2876:
2873:
2870:
2867:
2864:
2858:
2774:
2773:
2770:
2767:
2764:
2761:
2758:
2755:
2752:
2749:
2746:
2743:
2740:
2737:
2734:
2731:
2728:
2725:
2722:
2719:
2716:
2713:
2710:
2707:
2704:
2701:
2698:
2695:
2692:
2689:
2686:
2683:
2680:
2677:
2674:
2671:
2668:
2665:
2662:
2659:
2656:
2653:
2650:
2647:
2644:
2641:
2638:
2635:
2632:
2629:
2626:
2623:
2620:
2617:
2614:
2611:
2608:
2605:
2602:
2599:
2596:
2593:
2590:
2587:
2584:
2581:
2578:
2575:
2572:
2569:
2563:
2558:
2557:
2554:
2551:
2548:
2545:
2542:
2539:
2536:
2533:
2530:
2527:
2524:
2521:
2518:
2515:
2512:
2509:
2506:
2503:
2500:
2497:
2494:
2491:
2488:
2485:
2482:
2479:
2476:
2473:
2470:
2467:
2464:
2461:
2458:
2455:
2452:
2449:
2446:
2443:
2440:
2437:
2434:
2431:
2428:
2425:
2422:
2419:
2416:
2413:
2410:
2404:
2403:
2400:
2397:
2394:
2391:
2388:
2385:
2382:
2379:
2376:
2373:
2370:
2367:
2364:
2361:
2358:
2355:
2352:
2349:
2346:
2343:
2340:
2337:
2334:
2331:
2328:
2325:
2322:
2319:
2316:
2313:
2310:
2307:
2304:
2301:
2298:
2295:
2292:
2289:
2286:
2283:
2280:
2277:
2274:
2271:
2268:
2265:
2262:
2259:
2256:
2253:
2250:
2247:
2244:
2235:
2229:
2224:
2223:
2220:
2217:
2214:
2211:
2208:
2205:
2202:
2199:
2196:
2193:
2190:
2187:
2184:
2181:
2178:
2175:
2172:
2169:
2166:
2163:
2160:
2157:
2154:
2151:
2148:
2145:
2142:
2139:
2136:
2133:
2130:
2127:
2124:
2121:
2118:
2115:
2112:
2109:
2106:
2103:
2100:
2097:
2094:
2091:
2088:
2085:
2082:
2079:
2076:
2073:
2070:
2067:
2064:
2061:
2058:
2055:
2052:
2049:
2046:
2043:
2040:
2037:
2031:
2026:
2025:
2022:
2019:
2016:
2013:
2010:
2007:
2004:
2001:
1998:
1995:
1992:
1989:
1986:
1983:
1980:
1977:
1974:
1971:
1968:
1965:
1962:
1959:
1956:
1953:
1950:
1947:
1944:
1941:
1938:
1935:
1932:
1929:
1926:
1923:
1920:
1917:
1914:
1911:
1908:
1905:
1902:
1899:
1896:
1893:
1890:
1887:
1884:
1881:
1878:
1875:
1872:
1869:
1866:
1863:
1860:
1857:
1854:
1848:
1843:
1842:
1839:
1836:
1833:
1830:
1827:
1824:
1821:
1818:
1815:
1812:
1809:
1806:
1803:
1800:
1797:
1794:
1791:
1788:
1785:
1782:
1779:
1776:
1773:
1770:
1767:
1764:
1761:
1758:
1755:
1752:
1749:
1746:
1743:
1740:
1737:
1734:
1731:
1728:
1725:
1722:
1719:
1716:
1713:
1710:
1707:
1704:
1698:
1693:
1692:
1689:
1686:
1683:
1680:
1677:
1674:
1671:
1668:
1665:
1662:
1659:
1656:
1653:
1650:
1647:
1644:
1641:
1638:
1635:
1632:
1629:
1626:
1623:
1620:
1617:
1614:
1611:
1608:
1605:
1602:
1599:
1596:
1593:
1590:
1587:
1584:
1581:
1578:
1575:
1572:
1569:
1566:
1563:
1560:
1557:
1554:
1551:
1548:
1545:
1539:
1534:
1533:
1530:
1527:
1524:
1521:
1518:
1515:
1512:
1509:
1506:
1503:
1500:
1497:
1494:
1491:
1488:
1485:
1482:
1479:
1476:
1473:
1470:
1467:
1464:
1461:
1458:
1455:
1452:
1449:
1446:
1443:
1440:
1437:
1434:
1431:
1425:
1420:
1419:
1416:
1413:
1410:
1407:
1404:
1401:
1398:
1395:
1392:
1389:
1386:
1383:
1380:
1377:
1374:
1371:
1368:
1365:
1362:
1359:
1356:
1353:
1350:
1347:
1344:
1341:
1338:
1335:
1332:
1329:
1326:
1323:
1320:
1317:
1314:
1311:
1308:
1305:
1302:
1299:
1296:
1293:
1290:
1287:
1284:
1281:
1278:
1275:
1272:
1269:
1266:
1263:
1260:
1257:
1254:
1251:
1248:
1245:
1242:
1239:
1236:
1233:
1230:
1227:
1224:
1221:
1218:
1215:
1212:
1209:
1206:
1203:
1200:
1197:
1194:
1191:
1185:
1184:
1181:
1178:
1175:
1172:
1169:
1166:
1163:
1160:
1157:
1154:
1151:
1148:
1145:
1142:
1139:
1136:
1133:
1130:
1127:
1124:
1121:
1118:
1115:
1112:
1109:
1106:
1103:
1100:
1097:
1094:
1091:
1088:
1085:
1082:
1079:
1076:
1073:
1070:
1067:
1064:
1061:
1058:
1055:
1052:
1049:
1046:
1043:
1040:
1037:
1034:
1031:
1028:
1025:
1022:
1019:
1016:
1013:
1010:
1007:
1004:
1001:
998:
995:
992:
989:
986:
983:
980:
977:
974:
971:
968:
965:
962:
959:
953:
947:
942:
941:
938:
935:
932:
929:
926:
923:
920:
917:
914:
911:
908:
905:
902:
899:
896:
893:
890:
887:
884:
881:
878:
875:
872:
869:
866:
863:
860:
857:
854:
851:
848:
845:
842:
839:
836:
833:
830:
827:
824:
821:
818:
815:
812:
809:
806:
803:
800:
797:
794:
791:
788:
785:
782:
779:
776:
773:
770:
767:
764:
761:
758:
755:
752:
749:
746:
740:
739:
736:
733:
730:
727:
724:
721:
718:
715:
712:
709:
706:
703:
700:
697:
694:
691:
688:
685:
682:
679:
676:
673:
670:
667:
664:
661:
658:
655:
652:
649:
646:
643:
640:
637:
634:
631:
628:
625:
622:
619:
616:
613:
610:
607:
604:
601:
598:
595:
592:
589:
586:
583:
580:
577:
574:
571:
568:
565:
562:
559:
556:
553:
550:
547:
544:
541:
538:
535:
532:
529:
526:
523:
520:
517:
503:
497:
492:
491:
488:
485:
482:
479:
476:
473:
470:
467:
464:
461:
458:
455:
452:
449:
446:
443:
437:
436:
433:
430:
427:
424:
421:
418:
415:
412:
409:
406:
403:
400:
397:
394:
391:
388:
385:
382:
379:
376:
373:
370:
367:
364:
361:
355:
326:
321:
270:
246:
243:
221:
217:
205:
201:
192:
188:
183:
180:
179:
168:lambda calculus
166:In the untyped
82:
71:
65:
62:
52:Please help to
51:
35:
31:
24:
17:
12:
11:
5:
9134:
9124:
9123:
9118:
9113:
9108:
9092:
9091:
9066:
9065:
9063:
9060:
9059:
9058:
9053:
9048:
9041:Kappa calculus
9038:
9033:
9028:
9023:
9016:
9013:
8309:
8296:
8293:
7944:
7902:
7899:
7898:
7897:
7894:interpretation
7886:
7883:dynamic typing
7858:
7855:
7846:
7843:
7401:
7376:
7373:
7371:
7368:
7236:
7227:
7224:
7178:
7166:
7163:
7109:
7100:
7097:
6935:
6926:
6923:
6740:
6731:
6728:
6554:
6545:
6542:
6517:"{}"
6347:
6338:
6335:
6191:
6182:
6179:
6156:&plusThree
6085:
6076:
6073:
5963:
5954:
5951:
5891:
5745:
5736:
5733:
5723:"\n"
5538:
5524:"\n"
5351:
5342:
5339:
5146:
4932:
4923:
4920:
4821:
4812:
4809:
4687:
4678:
4675:
4543:
4534:
4531:
4354:
4345:
4342:
4198:
4189:
4186:
4030:
3903:
3891:
3888:
3672:
3473:
3457:
3454:
3406:
3348:
3336:
3333:
3189:
3180:
3177:
2950:
2941:
2938:
2931:"%A"
2866:
2857:
2854:
2816:with argument
2571:
2562:
2559:
2409:
2243:
2228:
2225:
2039:
2030:
2027:
1856:
1847:
1844:
1706:
1697:
1694:
1547:
1538:
1535:
1433:
1424:
1421:
1190:
958:
946:
943:
745:
516:
496:
493:
442:
363:
354:
351:
325:
324:Direct support
322:
320:
317:
316:
315:
309:
307:Tree traversal
304:
299:
294:
289:
284:
279:
274:
260:
242:
239:
224:
220:
216:
213:
208:
204:
200:
195:
191:
187:
129:
128:
125:
84:
83:
66:September 2013
38:
36:
29:
15:
9:
6:
4:
3:
2:
9133:
9122:
9119:
9117:
9114:
9112:
9109:
9107:
9104:
9103:
9101:
9081:
9077:
9071:
9067:
9057:
9054:
9052:
9049:
9046:
9042:
9039:
9037:
9034:
9032:
9029:
9027:
9024:
9022:
9019:
9018:
9012:
9006:
8307:
8305:
8301:
8292:
8275:The function
7942:
7940:
7935:
7933:
7929:
7925:
7921:
7916:
7912:
7908:
7895:
7891:
7887:
7884:
7880:
7876:
7875:
7874:
7872:
7868:
7864:
7854:
7851:
7842:
7840:
7399:
7397:
7393:
7389:
7385:
7381:
7364:(: 13 :)
7233:
7223:
7221:
7176:
7172:
7162:
7106:
6932:
6737:
6551:
6344:
6188:
6178:
6082:
5960:
5932:>>>
5893:>>>
5889:
5864:>>>
5843:>>>
5816:>>>
5747:>>>
5742:
5536:
5348:
5338:
5144:
4929:
4913:print_newline
4818:
4684:
4540:
4351:
4195:
4028:
3901:
3897:
3670:
3471:
3467:
3463:
3404:
3346:
3342:
3186:
3176:
2947:
2863:
2853:
2568:
2407:
2241:
2240:
2234:
2036:
1853:
1703:
1544:
1430:
1188:
956:
952:
743:
514:
512:
507:std::function
502:
440:
360:
350:
349:" principle.
348:
331:
330:
313:
310:
308:
305:
303:
300:
298:
295:
293:
290:
288:
285:
283:
280:
278:
275:
269:
265:
261:
258:
254:
249:
245:
244:
238:
222:
218:
206:
202:
193:
189:
177:
173:
169:
164:
162:
158:
154:
150:
146:
145:
140:
139:
134:
126:
123:
119:
116:, which is a
115:
111:
110:
109:
107:
103:
99:
95:
91:
80:
77:
69:
59:
55:
49:
48:
42:
37:
28:
27:
22:
9083:. Retrieved
9079:
9070:
9044:
9002:
8298:
8274:
8264:// prints 10
7936:
7904:
7870:
7866:
7860:
7848:
7836:
7378:
7370:Alternatives
7217:
7201:citizenships
7174:
7160:
7153:# result: 13
6175:
5883:
5534:
5332:
5157:strict_types
5142:
4943:strict_types
4026:
3899:
3668:
3469:
3403:or tacitly,
3402:
3345:Explicitly,
3344:
3166:
2836:. Note that
2832:will return
2775:
2405:
2236:
1186:
954:
930:'\n'
741:
728:'\n'
504:
438:
332:
328:
327:
256:
252:
165:
142:
136:
132:
130:
101:
97:
87:
72:
63:
44:
9121:Subroutines
9080:www.php.net
8818:Composition
8770:Composition
8485:Composition
8413:Composition
7939:Free Pascal
7340:local:twice
7244:local:twice
5699:$ plusThree
5633:$ plusThree
5295:$ plusThree
5241:$ plusThree
3456:Java (1.8+)
1702:Common Lisp
1696:Common Lisp
1672:writeOutput
297:Integration
144:functionals
90:mathematics
58:introducing
9100:Categories
9085:2021-03-01
9062:References
9009:auto apply
7183:allowEntry
6877:plus-three
6838:plus-three
6505:plus_three
6443:plus_three
6304:plus_three
6259:plus_three
6094:Callable:D
5858:plus_three
5819:plus_three
4889:plus_three
4856:plus_three
3896:JavaScript
3890:JavaScript
3866:applyAsInt
3646:applyAsInt
2916:plus_three
2892:plus_three
2810:{false, Y}
2525:plus_three
2477:plus_three
2371:plus_three
2320:plus_three
1816:plus-three
1771:plus-three
1507:plus-three
1474:plus-three
897:plus_three
831:plus_three
695:plus_three
629:plus_three
157:derivative
41:references
7861:In other
7192:condition
7136:plusThree
7069:plusThree
7033:plusThree
6694:plusThree
6616:plusThree
6123:plusThree
6048:plusThree
6009:plusThree
5500:plusThree
5440:plusThree
5051:plusThree
4895:print_int
4781:plusthree
4742:plusthree
4647:plusThree
4605:plusThree
4500:plusThree
4440:plusThree
4323:julia>
4314:plusthree
4299:julia>
4272:plusthree
4269:julia>
4200:julia>
4152:plusThree
4104:plusThree
3992:plusThree
3953:plusThree
3836:plusThree
3752:plusThree
3616:plusThree
3571:plusThree
3438:plusthree
3420:plusthree
3386:plusthree
3365:plusthree
3329:plusThree
3263:plusThree
3248:plusThree
3173:plusThree
3129:plusThree
3075:plusThree
2830:or_else/2
2778:or_else/2
2245:defmodule
2194:plusThree
2131:plusThree
1996:plusThree
1936:plusThree
1666:plusThree
1615:plusThree
1393:WriteLine
1381:PlusThree
1309:PlusThree
1158:WriteLine
1146:plusThree
1107:plusThree
569:>&
477:plusthree
456:plusthree
416:plusthree
386:plusthree
266:standard
219:τ
215:→
203:τ
199:→
190:τ
138:operators
122:procedure
118:parameter
9045:excludes
9015:See also
8761:typename
8752:typename
8746:template
8671:typename
8662:typename
8656:template
8584:typename
8575:typename
8569:template
8467:typename
8458:typename
8449:typename
8443:template
8401:typename
8392:typename
8386:template
8356:typename
8350:template
8320:typename
8314:template
8279:takes a
8105:function
8036:function
8009:function
7793:integral
7781:"%g
7745:integral
7733:"%g
7499:integral
7403:#include
7304:function
7241:function
6958:escaping
6511:println!
6132:) {
6118:)) }; }
6099:) {
6015:function
5552:warnings
5365:warnings
5181:callable
5148:<?php
5048:function
4985:function
4964:callable
4955:function
4934:<?php
4910:(* 13 *)
4689:function
4602:function
4563:function
4545:function
4218:function
4203:function
4101:function
4059:function
4038:function
3520:Function
2883:>>
2824:returns
2808:returns
2065:Function
2044:Function
1621:function
1573:function
1555:function
1516:println
1050:>>
927:<<
912:<<
747:#include
725:<<
710:<<
551:function
524:#include
518:#include
302:Callback
268:function
153:calculus
106:function
8986:// 7.0f
8965:// 4.0f
8899:compose
8788:compose
8243:writeln
7964:integer
7949:example
7946:program
7932:structs
7915:methods
7911:objects
7901:Objects
7871:Execute
7392:Fortran
7301:declare
7238:declare
7147:{return
6907:display
6886:display
6817:compose
6751:compose
6607:compose
5690:$ twice
5561:$ twice
5289:$ twice
5193:Closure
5169:$ twice
5151:declare
4976:Closure
4937:declare
4506:println
4158:console
3998:console
3854:println
3743:private
3728:andThen
3692:private
3634:println
3556:andThen
3185:Haskell
3179:Haskell
3141:Println
2952:package
2756:or_else
2732:or_else
2714:or_else
2681:or_else
2663:or_else
2636:or_else
2606:or_else
2591:or_else
2573:or_else
2002:writeln
1873:writeln
1831:funcall
1753:funcall
1744:funcall
1429:Clojure
1423:Clojure
1387:Console
1300:private
1213:private
1207:Program
1152:Console
975:Program
147:. The
104:) is a
54:improve
8989:return
8815:return
8719:return
8632:return
8521:return
8410:struct
8365:struct
8329:struct
8138:result
8069:Result
7976:record
7850:Macros
7845:Macros
7823:return
7787:"
7775:printf
7751:square
7739:"
7727:printf
7697:return
7577:double
7562:double
7532:double
7523:double
7514:double
7505:double
7496:double
7469:return
7457:double
7448:double
7430:return
7418:double
7412:square
7409:double
7396:Pascal
7394:, and
7232:XQuery
7226:XQuery
7189:permit
7125:{apply
7000:return
6916:"
6910:"
6865:define
6832:define
6799:define
6766:lambda
6745:define
6730:Scheme
6556:object
6458:->
6399:->
6383:->
6376:->
6134:return
6101:return
5920:return
5896:@twice
5825:lambda
5813:result
5810:return
5786:return
5771:result
5735:Python
5543:strict
5497:\&
5356:strict
5322:"
5316:"
5132:"
5126:"
5075:return
5021:return
4982:return
4706:result
4691:result
4683:MATLAB
4677:MATLAB
4617:return
4575:return
4560:return
4407:return
4344:Kotlin
4260:result
4257:return
4233:return
4221:result
4119:return
4074:return
4056:return
3842:System
3803:String
3791:static
3788:public
3770:return
3746:static
3719:return
3695:static
3674:import
3622:System
3508:String
3496:static
3493:public
3475:import
3426:+&
3356:adverb
3102:return
3036:return
3012:return
2958:import
2928:printf
2844:, and
2561:Erlang
2227:Elixir
2149:return
2101:return
2086:return
1858:import
1813:#'
1801:defvar
1729:lambda
1636:return
1588:return
1570:return
1354:string
1342:static
1339:public
1303:static
1270:return
1216:static
1201:public
1195:System
996:string
984:static
981:public
969:public
963:System
852:return
801:return
783:return
650:return
599:return
581:return
505:Using
277:filter
43:, but
8968:apply
8947:apply
8911:float
8905:DivBy
8872:const
8734:value
8689:DivBy
8683:apply
8647:value
8596:apply
8542:apply
8524:apply
8479:apply
8377:value
8368:DivBy
8341:value
8213:begin
8135:begin
8066:begin
7924:stack
7839:qsort
7171:XACML
7165:XACML
7113:twice
7093:// 13
7075:print
7063:twice
6991:->
6979:->
6970:->
6940:twice
6925:Swift
6874:twice
6805:twice
6718:// 13
6700:print
6688:twice
6664:Array
6595:=>
6583:=>
6568:twice
6544:Scala
6535:// 13
6499:twice
6352:twice
6298:twice
6265:->
6208:->
6196:twice
6152:twice
6127:Int:D
6090:twice
6042:twice
6039:<-
6012:<-
5968:<-
5965:twice
5852:twice
5753:twice
5711:->
5705:print
5693:->
5612:->
5603:->
5512:->
5506:print
5491:twice
5419:->
5410:->
5374:twice
5328:// 13
5268:=>
5220:=>
5196:=>
5138:// 13
5099:twice
4958:twice
4886:twice
4826:twice
4817:OCaml
4811:OCaml
4775:twice
4696:twice
4671:-- 13
4653:print
4641:twice
4632:local
4548:twice
4524:// 13
4491:twice
4398:->
4380:->
4359:twice
4308:twice
4206:twice
4188:Julia
4182:// 13
4146:twice
4137:const
4041:twice
4022:// 13
3986:twice
3977:const
3962:=>
3950:const
3929:=>
3923:=>
3914:twice
3911:const
3878:// 13
3824:twice
3701:twice
3683:class
3658:// 13
3610:apply
3604:twice
3580:->
3547:->
3538:twice
3484:class
3441:twice
3408:twice
3389:twice
3350:twice
3326:twice
3317:where
3314:-- 13
3299:print
3257:->
3230:twice
3221:->
3212:->
3203:->
3191:twice
3169:twice
3159:// 13
3123:twice
2967:twice
2934:// 13
2925:|>
2913:twice
2871:twice
2850:false
2747:->
2711:->
2699:false
2660:->
2654:false
2603:->
2585:false
2582:->
2516:twice
2495:->
2444:->
2429:->
2411:twice
2365:twice
2338:->
2284:->
2257:twice
2218:// 13
2200:print
2188:twice
2179:final
2056:twice
2020:// 13
1990:twice
1954:=>
1933:alias
1912:=>
1897:=>
1882:twice
1879:alias
1867:stdio
1825:print
1810:twice
1768:defun
1714:twice
1711:defun
1690:// 13
1660:twice
1549:twice
1504:twice
1471:defn
1441:twice
1438:defn
1411:// 13
1375:Twice
1324:=>
1276:=>
1237:Twice
1204:class
1192:using
1176:// 13
1140:twice
1116:=>
1068:=>
1062:=>
1053:twice
972:class
960:using
936:// 13
891:twice
771:&
765:const
756:twice
734:// 13
689:twice
542:const
533:twice
511:C++11
480:twice
444:twice
419:twice
365:twice
339:twice
335:twice
287:apply
271:qsort
120:of a
8935:>
8929:<
8920:2.0f
8914:>
8908:<
8890:auto
8881:argv
8875:char
8866:argc
8857:main
8833:>
8821:<
8785:>
8773:<
8767:>
8749:<
8698:>
8692:<
8680:auto
8677:>
8659:<
8611:>
8605:<
8593:auto
8590:>
8572:<
8500:>
8488:<
8476:auto
8473:>
8446:<
8407:>
8389:<
8362:>
8353:<
8326:>
8317:<
8287:and
8144:func
8114:func
7955:type
7928:heap
7867:Eval
7837:The
7799:cube
7718:main
7631:<
7451:cube
7220:here
7180:rule
7156:puts
6937:func
6901:; 13
6793:))))
6670:Unit
6658:args
6652:main
6559:Main
6481:main
6407:move
6385:impl
6362:impl
6337:Rust
6331:# 13
6319:call
6310:puts
6241:call
6229:call
6181:Ruby
6171:# 13
6143:; }
6116:$ ^x
6075:Raku
6054:>
5917:...
5899:...
5807:...
5783:...
5765:...
5729:# 13
5530:# 13
5347:Perl
5341:Perl
5301:echo
5111:echo
4805:% 13
4787:disp
4473:main
3830:Main
3806:args
3797:main
3794:void
3686:Main
3535:>
3523:<
3511:args
3502:main
3499:void
3487:Main
3464:and
3371:verb
3293:main
3281:main
3081:func
3066:main
3063:func
3015:func
2994:func
2976:func
2964:func
2955:main
2555:# 13
2537:puts
2401:# 13
2383:puts
2170:main
2167:void
2029:Dart
1981:auto
1972:main
1969:void
1762:))))
1531:; 13
1495:def
1465:))))
1357:args
1348:Main
1345:void
1258:>
1246:<
1243:Func
1234:>
1222:<
1219:Func
1104:>
1092:<
1089:Func
1038:<
1035:Func
1029:>
1017:<
1014:Func
1011:<
1008:Func
999:args
990:Main
987:void
909:cout
882:auto
873:main
828:auto
768:auto
753:auto
707:cout
680:auto
671:main
626:auto
554:<
530:auto
282:fold
96:, a
92:and
8944:});
8932:int
8926:Add
8863:int
8854:int
8722:arg
8710:arg
8635:arg
8623:arg
8602:Add
8563:));
8560:arg
8512:arg
8332:Add
8281:Txy
8277:a()
8267:end
8177:Txy
8156:var
8150:end
8099:end
8060:int
8051:Txy
8030:int
8021:Txy
7997:end
7991:int
7970:Txy
7958:int
7905:In
7869:or
7820:));
7817:100
7772:));
7769:100
7715:int
7700:sum
7679:0.5
7652:sum
7610:for
7565:sum
7553:int
7541:int
7388:C++
7134:set
7128:$ f
7111:set
7105:Tcl
7099:Tcl
7054:let
7042:$ 0
7030:let
7018:$ 0
6994:Int
6985:Int
6973:Int
6964:Int
6679:val
6649:def
6634:Int
6628:Int
6613:def
6598:Int
6592:Int
6586:Int
6580:Int
6565:def
6490:let
6460:i32
6453:i32
6401:i32
6394:i32
6378:i32
6371:i32
6256:end
6193:def
6169:);
6163:$ g
6160:say
6158:);
6148:$ g
6137:$ i
6130:$ i
6120:sub
6112:$ f
6108:$ f
6104:sub
6097:$ f
6087:sub
5902:def
5768:def
5750:def
5708:$ g
5684:$ g
5666:$ i
5651:$ i
5639:sub
5621:));
5609:$ f
5600:$ f
5594:sub
5579:$ f
5567:sub
5549:use
5540:use
5509:$ g
5485:$ g
5467:$ i
5452:$ i
5437:sub
5428:));
5416:$ f
5407:$ f
5401:sub
5386:$ f
5371:sub
5362:use
5353:use
5335:use
5304:$ g
5283:$ g
5271:$ i
5265:int
5256:$ i
5253:int
5238:));
5235:$ x
5229:$ f
5223:$ f
5217:int
5208:$ x
5205:int
5184:$ f
5114:$ g
5093:$ g
5078:$ i
5069:int
5060:$ i
5057:int
5039:));
5036:$ x
5030:$ f
5024:$ f
5015:int
5006:$ f
5000:use
4994:$ x
4991:int
4967:$ f
4928:PHP
4922:PHP
4877:let
4868:let
4862:(+)
4853:let
4823:let
4802:));
4739:end
4736:));
4629:end
4599:end
4596:end
4533:Lua
4482:val
4470:fun
4452:Int
4437:fun
4401:Int
4392:Int
4383:Int
4374:Int
4356:fun
4263:end
4254:end
4179:));
4164:log
4092:));
4019:));
4004:log
3947:));
3875:));
3848:out
3815:var
3758:int
3749:int
3655:));
3628:out
3595:var
3260:Int
3254:Int
3224:Int
3218:Int
3206:Int
3200:Int
3175:).
3135:fmt
3096:int
3090:int
3030:int
3024:int
3006:int
3000:int
2988:int
2982:int
2904:let
2898:(+)
2889:let
2868:let
2735:(_,
2633:)).
2507:end
2474:end
2471:end
2359:Hof
2350:end
2317:end
2314:end
2311:end
2254:def
2248:Hof
2215:));
2137:int
2128:int
2119:));
2071:int
2062:int
2050:int
2041:int
2017:));
1945:int
1930:));
1903:int
1861:std
1687:));
1606:));
1447:fn
1408:));
1366:var
1315:int
1306:int
1294:));
1255:int
1249:int
1231:int
1225:int
1173:));
1131:var
1101:int
1095:int
1086:));
1047:int
1041:int
1026:int
1020:int
903:std
870:int
840:int
819:));
789:int
701:std
668:int
638:int
617:));
587:int
563:int
557:int
545:std
509:in
501:C++
495:C++
353:APL
248:map
151:in
141:or
102:HOF
88:In
9102::
9078:.
9011:.
8983:);
8962:);
8923:},
8848:};
8437:};
8383:};
8347:};
8306::
8258:))
8255:xy
8219::=
8171:xy
8165:Tf
8141::=
8129:Tf
8120:Tf
8087:xy
8075:xy
8072::=
8045:xy
8015:xy
8003:Tf
7784:\n
7736:\n
7721:()
7706:dt
7691:);
7688:dt
7655:+=
7640:++
7580:dt
7520:),
7390:,
7386:,
7337:};
7325:$
7313:$
7298:};
7295:))
7289:$
7280:$
7271:$
7259:$
7250:$
7222:.
7150:}}
7138:{{
7131:}}
7115:{{
7090:))
7021:))
6913:\n
6898:))
6880:))
6859:))
6826:))
6715:))
6667:):
6631:):
6589:):
6532:))
6508:);
6484:()
6478:fn
6451::
6440:fn
6434:))
6388:Fn
6365:Fn
6360::
6349:fn
6250:))
6150:=
6145:my
6139:+
6106:{
6069:13
6006:))
5947:13
5914:):
5879:13
5804:))
5780:):
5762:):
5720:),
5702:);
5681:my
5678:};
5660:@_
5645:my
5630:my
5627:};
5624:};
5618:@_
5588:@_
5573:my
5558:my
5521:),
5503:);
5482:my
5461:@_
5446:my
5431:};
5425:@_
5395:@_
5380:my
5319:\n
5313:),
5298:);
5247:fn
5199:fn
5175:fn
5166:);
5129:\n
5123:),
5108:);
5042:};
4952:);
4916:()
4907:);
4892:in
4871:()
4748:@(
4712:@(
4668:))
4593:))
4521:))
4497:::
4476:()
4428:))
4425:it
4386:):
4338:13
4251:))
4155:);
4095:};
3995:);
3839:);
3833:::
3737:);
3619:);
3565:);
3450:13
3435:=.
3423:=.
3414:^:
3411:=.
3398:13
3383:=.
3368:=.
3353:=.
3290:()
3287:IO
3284:::
3251:::
3194:::
3156:))
3120::=
3078::=
3069:()
3054:))
2940:Go
2856:F#
2852:.
2840:,
2814:Fs
2802:Fs
2782:Fs
2771:).
2768:23
2759:(,
2738:_,
2729:);
2720:Fs
2708:})
2693:_,
2687:Fs
2678:);
2669:Fs
2642:Fs
2612:Fs
2594:(,
2579:_)
2576:(,
2531:IO
2483:fn
2468:))
2432:fn
2417:fn
2377:IO
2326:fn
2308:))
2272:fn
2269:do
2251:do
2197:);
2173:()
2122:};
1999:);
1975:()
1840:))
1819:))
1795:))
1669:);
1651:};
1612:};
1609:};
1528:))
1510:))
1489:))
1480:+
1384:);
1149:);
945:C#
906:::
900:);
876:()
867:};
825:};
822:};
704:::
698:);
674:()
665:};
623:};
620:};
548:::
513::
489:13
434:13
377:⍺⍺
374:⍺⍺
237:.
163:.
9088:.
8998:}
8995:;
8992:0
8980:9
8977:,
8974:f
8971:(
8959:3
8956:,
8953:f
8950:(
8941:5
8938:{
8917:{
8902:(
8896:=
8893:f
8887:{
8884:)
8878:*
8869:,
8860:(
8851:}
8845:g
8842:,
8839:f
8836:{
8830:G
8827:,
8824:F
8812:{
8809:)
8806:g
8803:G
8800:,
8797:f
8794:F
8791:(
8782:G
8779:,
8776:F
8764:G
8758:,
8755:F
8740:}
8737:;
8731:.
8728:f
8725:/
8716:{
8713:)
8707:X
8704:,
8701:f
8695:T
8686:(
8674:X
8668:,
8665:T
8653:}
8650:;
8644:.
8641:f
8638:+
8629:{
8626:)
8620:X
8617:,
8614:f
8608:T
8599:(
8587:X
8581:,
8578:T
8566:}
8557:,
8554:g
8551:.
8548:f
8545:(
8539:,
8536:f
8533:.
8530:f
8527:(
8518:{
8515:)
8509:X
8506:,
8503:f
8497:G
8494:,
8491:F
8482:(
8470:X
8464:,
8461:G
8455:,
8452:F
8434:;
8431:g
8428:G
8425:;
8422:f
8419:F
8416:{
8404:G
8398:,
8395:F
8380:;
8374:T
8371:{
8359:T
8344:;
8338:T
8335:{
8323:T
8289:y
8285:x
8270:.
8261:;
8252:(
8249:a
8246:(
8237:;
8234:)
8231:f
8228:@
8225:(
8222:g
8216:a
8210:;
8207:)
8204:7
8201::
8198:y
8195:;
8192:3
8189::
8186:x
8183:(
8180:=
8174::
8168:;
8162::
8159:a
8153:;
8147:;
8132:;
8126::
8123:)
8117::
8111:(
8108:g
8102:;
8096:;
8093:x
8090:.
8084:+
8081:y
8078:.
8063:;
8057::
8054:)
8048::
8042:(
8039:f
8033:;
8027::
8024:)
8018::
8012:(
8006:=
8000:;
7994:;
7988::
7985:y
7982:,
7979:x
7973:=
7967:;
7961:=
7952:;
7832:}
7829:;
7826:0
7814:,
7811:1
7808:,
7805:0
7802:,
7796:(
7790:,
7778:(
7766:,
7763:1
7760:,
7757:0
7754:,
7748:(
7742:,
7730:(
7724:{
7712:}
7709:;
7703:*
7694:}
7685:*
7682:)
7676:+
7673:i
7670:(
7667:+
7664:a
7661:(
7658:f
7649:{
7646:)
7643:i
7637:;
7634:n
7628:i
7625:;
7622:0
7619:=
7616:i
7613:(
7607:;
7604:n
7601:/
7598:)
7595:a
7592:-
7589:b
7586:(
7583:=
7574:;
7571:0
7568:=
7559:;
7556:i
7550:{
7547:)
7544:n
7538:,
7535:b
7529:,
7526:a
7517:x
7511:(
7508:f
7502:(
7490:}
7487:;
7484:x
7481:*
7478:x
7475:*
7472:x
7466:{
7463:)
7460:x
7454:(
7445:}
7442:;
7439:x
7436:*
7433:x
7427:{
7424:)
7421:x
7415:(
7384:C
7361:)
7358:7
7355:,
7352:1
7349:#
7343:(
7334:3
7331:+
7328:i
7322:{
7319:)
7316:i
7310:(
7292:x
7286:(
7283:f
7277:(
7274:f
7268:{
7265:)
7262:x
7256:,
7253:f
7247:(
7213:}
7210:)
7204:,
7198:,
7186:{
7144:}
7141:i
7122:}
7120:x
7118:f
7087:7
7084:(
7081:g
7078:(
7072:)
7066:(
7060:=
7057:g
7051:}
7048:3
7045:+
7039:{
7036:=
7027:}
7024:}
7015:(
7012:f
7009:(
7006:f
7003:{
6997:{
6988:)
6982:(
6976:)
6967:)
6961:(
6955:@
6952::
6949:f
6946:_
6943:(
6919:)
6904:(
6895:7
6892:g
6889:(
6883:(
6871:(
6868:g
6862:(
6856:3
6853:i
6850:+
6847:(
6844:)
6841:i
6835:(
6829:(
6823:f
6820:f
6814:(
6811:)
6808:f
6802:(
6796:(
6790:x
6787:g
6784:(
6781:f
6778:(
6775:)
6772:x
6769:(
6763:(
6760:)
6757:g
6754:f
6748:(
6742:(
6724:}
6721:}
6712:7
6709:(
6706:g
6703:(
6697:)
6691:(
6685:=
6682:g
6676:{
6673:=
6661::
6655:(
6646:3
6643:+
6640:i
6637:=
6625::
6622:i
6619:(
6610:f
6604:f
6601:=
6577::
6574:f
6571:(
6562:{
6538:}
6529:7
6526:(
6523:g
6520:,
6514:(
6502:(
6496:=
6493:g
6487:{
6475:}
6472:3
6469:+
6466:i
6463:{
6456:)
6449:i
6446:(
6437:}
6431:x
6428:(
6425:f
6422:(
6419:f
6416:|
6413:x
6410:|
6404:{
6397:)
6391:(
6381:)
6374:)
6368:(
6358:f
6355:(
6328:)
6325:7
6322:(
6316:.
6313:g
6307:)
6301:(
6295:=
6292:g
6289:}
6286:3
6283:+
6280:i
6277:{
6274:)
6271:i
6268:(
6262:=
6253:}
6247:x
6244:(
6238:.
6235:f
6232:(
6226:.
6223:f
6220:{
6217:)
6214:x
6211:(
6205:)
6202:f
6199:(
6167:7
6165:(
6154:(
6141:3
6125:(
6114:(
6110:(
6092:(
6066:)
6063:7
6060:(
6057:g
6051:)
6045:(
6036:g
6033:3
6030:+
6027:i
6024:)
6021:i
6018:(
6003:x
6000:(
5997:f
5994:(
5991:f
5988:)
5985:x
5982:(
5980:\
5978:)
5975:f
5972:(
5970:\
5953:R
5944:)
5941:7
5938:(
5935:g
5929:3
5926:+
5923:i
5911:i
5908:(
5905:g
5886:g
5876:)
5873:7
5870:(
5867:g
5861:)
5855:(
5849:=
5846:g
5840:3
5837:+
5834:i
5831::
5828:i
5822:=
5801:x
5798:(
5795:f
5792:(
5789:f
5777:x
5774:(
5759:f
5756:(
5726:;
5717:7
5714:(
5696:(
5687:=
5675:;
5672:3
5669:+
5663:;
5657:=
5654:)
5648:(
5642:{
5636:=
5615:(
5606:(
5597:{
5591:;
5585:=
5582:)
5576:(
5570:{
5564:=
5555:;
5546:;
5527:;
5518:7
5515:(
5494:(
5488:=
5479:}
5476:;
5473:3
5470:+
5464:;
5458:=
5455:)
5449:(
5443:{
5434:}
5422:(
5413:(
5404:{
5398:;
5392:=
5389:)
5383:(
5377:{
5368:;
5359:;
5325:;
5310:7
5307:(
5292:(
5286:=
5280:;
5277:3
5274:+
5262::
5259:)
5250:(
5244:=
5232:(
5226:(
5214::
5211:)
5202:(
5190::
5187:)
5178:(
5172:=
5163:1
5160:=
5154:(
5135:;
5120:7
5117:(
5102:(
5096:=
5090:}
5087:;
5084:3
5081:+
5072:{
5066::
5063:)
5054:(
5045:}
5033:(
5027:(
5018:{
5012::
5009:)
5003:(
4997:)
4988:(
4979:{
4973::
4970:)
4961:(
4949:1
4946:=
4940:(
4904:7
4901:g
4898:(
4883:=
4880:g
4874:=
4865:3
4859:=
4850:)
4847:x
4844:f
4841:(
4838:f
4835:=
4832:x
4829:f
4799:7
4796:(
4793:g
4790:(
4784:)
4778:(
4772:=
4769:g
4766:;
4763:3
4760:+
4757:i
4754:)
4751:i
4745:=
4733:x
4730:(
4727:f
4724:(
4721:f
4718:)
4715:x
4709:=
4703:)
4701:f
4699:(
4693:=
4665:7
4662:(
4659:g
4656:(
4650:)
4644:(
4638:=
4635:g
4626:3
4623:+
4620:i
4614:)
4611:i
4608:(
4590:x
4587:(
4584:f
4581:(
4578:f
4572:)
4569:x
4566:(
4557:)
4554:f
4551:(
4527:}
4518:7
4515:(
4512:g
4509:(
4503:)
4494:(
4488:=
4485:g
4479:{
4467:3
4464:+
4461:i
4458:=
4455:)
4449::
4446:i
4443:(
4434:}
4431:}
4422:(
4419:f
4416:(
4413:f
4410:{
4404:{
4395:)
4389:(
4377:)
4371:(
4368::
4365:f
4362:(
4335:)
4332:7
4329:(
4326:g
4317:)
4311:(
4305:=
4302:g
4293:3
4290:+
4287:i
4284:=
4281:)
4278:i
4275:(
4248:x
4245:(
4242:f
4239:(
4236:f
4230:)
4227:x
4224:(
4215:)
4212:f
4209:(
4176:7
4173:(
4170:g
4167:(
4161:.
4149:(
4143:=
4140:g
4134:}
4131:;
4128:3
4125:+
4122:i
4116:{
4113:)
4110:i
4107:(
4098:}
4089:x
4086:(
4083:f
4080:(
4077:f
4071:{
4068:)
4065:x
4062:(
4053:{
4050:)
4047:f
4044:(
4035:;
4016:7
4013:(
4010:g
4007:(
4001:.
3989:(
3983:=
3980:g
3974:;
3971:3
3968:+
3965:i
3959:i
3956:=
3944:x
3941:(
3938:f
3935:(
3932:f
3926:x
3920:f
3917:=
3908:;
3884:}
3881:}
3872:7
3869:(
3863:.
3860:g
3857:(
3851:.
3845:.
3827:(
3821:=
3818:g
3812:{
3809:)
3800:(
3785:}
3782:;
3779:3
3776:+
3773:i
3767:{
3764:)
3761:i
3755:(
3740:}
3734:f
3731:(
3725:.
3722:f
3716:{
3713:)
3710:f
3704:(
3689:{
3680:;
3664:}
3661:}
3652:7
3649:(
3643:.
3640:g
3637:(
3631:.
3625:.
3613:(
3607:.
3601:=
3598:g
3592:;
3589:3
3586:+
3583:i
3577:i
3574:=
3562:f
3559:(
3553:.
3550:f
3544:f
3541:=
3529:,
3517:{
3514:)
3505:(
3490:{
3481:;
3447:7
3444:g
3432:g
3429:3
3417:2
3395:7
3392:g
3380:g
3374::
3359::
3335:J
3323:=
3320:g
3311:)
3308:7
3305:g
3302:(
3296:=
3278:)
3275:3
3272:+
3269:(
3266:=
3245:f
3242:.
3239:f
3236:=
3233:f
3227:)
3215:(
3209:)
3197:(
3162:}
3153:7
3150:(
3147:g
3144:(
3138:.
3132:)
3126:(
3117:g
3114:}
3111:3
3108:+
3105:i
3099:{
3093:)
3087:i
3084:(
3072:{
3060:}
3057:}
3051:x
3048:(
3045:f
3042:(
3039:f
3033:{
3027:)
3021:x
3018:(
3009:{
3003:)
2997:(
2991:)
2985:)
2979:(
2973:f
2970:(
2922:7
2919:g
2910:=
2907:g
2901:3
2895:=
2886:f
2880:f
2877:=
2874:f
2846:R
2842:Y
2838:X
2834:R
2826:R
2822:F
2818:Y
2806:F
2798:F
2794:X
2790:F
2786:X
2765:.
2762:3
2753:.
2750:R
2744:)
2741:R
2726:Y
2723:,
2717:(
2705:Y
2702:,
2696:{
2690:,
2684:(
2675:X
2672:,
2666:(
2657:)
2651:,
2648:X
2645:,
2639:(
2630:X
2627:(
2624:F
2621:,
2618:X
2615:,
2609:(
2600:)
2597:X
2588:;
2552:)
2549:7
2546:(
2543:.
2540:g
2534:.
2528:)
2522:(
2519:.
2513:=
2510:g
2504:3
2501:+
2498:i
2492:)
2489:i
2486:(
2480:=
2465:x
2462:(
2459:.
2456:f
2453:(
2450:.
2447:f
2441:)
2438:x
2435:(
2426:)
2423:f
2420:(
2414:=
2398:)
2395:7
2392:(
2389:.
2386:g
2380:.
2374:)
2368:(
2362:.
2356:=
2353:g
2347:3
2344:+
2341:i
2335:)
2332:i
2329:(
2323:=
2305:x
2302:(
2299:.
2296:f
2293:(
2290:.
2287:f
2281:)
2278:x
2275:(
2266:)
2263:f
2260:(
2221:}
2212:7
2209:(
2206:g
2203:(
2191:(
2185:=
2182:g
2176:{
2164:}
2161:;
2158:3
2155:+
2152:i
2146:{
2143:)
2140:i
2134:(
2125:}
2116:x
2113:(
2110:f
2107:(
2104:f
2098:{
2095:)
2092:x
2089:(
2083:{
2080:)
2077:f
2074:)
2068:(
2059:(
2053:)
2047:(
2023:}
2014:7
2011:(
2008:g
2005:(
1993:(
1987:=
1984:g
1978:{
1966:;
1963:3
1960:+
1957:i
1951:)
1948:i
1942:(
1939:=
1927:x
1924:(
1921:f
1918:(
1915:f
1909:)
1906:x
1900:(
1894:)
1891:f
1888:(
1885:=
1876:;
1870::
1864:.
1846:D
1837:7
1834:g
1828:(
1822:(
1807:(
1804:g
1798:(
1792:3
1789:i
1786:+
1783:(
1780:)
1777:i
1774:(
1765:(
1759:x
1756:f
1750:(
1747:f
1741:(
1738:)
1735:x
1732:(
1726:(
1723:)
1720:f
1717:(
1708:(
1684:7
1681:(
1678:g
1675:(
1663:(
1657:=
1654:g
1648:;
1645:3
1642:+
1639:i
1633:{
1630:)
1627:i
1624:(
1618:=
1603:x
1600:(
1597:f
1594:(
1591:f
1585:{
1582:)
1579:x
1576:(
1567:{
1564:)
1561:f
1558:(
1552:=
1525:7
1522:g
1519:(
1513:(
1501:(
1498:g
1492:(
1486:3
1483:i
1477:(
1468:(
1462:x
1459:f
1456:(
1453:f
1450:(
1444:(
1435:(
1417:}
1414:}
1405:7
1402:(
1399:g
1396:(
1390:.
1378:(
1372:=
1369:g
1363:{
1360:)
1351:(
1336:;
1333:3
1330:+
1327:i
1321:)
1318:i
1312:(
1297:}
1291:x
1288:(
1285:f
1282:(
1279:f
1273:x
1267:{
1264:)
1261:f
1252:,
1240:(
1228:,
1210:{
1198:;
1182:}
1179:}
1170:7
1167:(
1164:g
1161:(
1155:.
1143:(
1137:=
1134:g
1128:;
1125:3
1122:+
1119:i
1113:i
1110:=
1098:,
1083:x
1080:(
1077:f
1074:(
1071:f
1065:x
1059:f
1056:=
1044:,
1032:,
1023:,
1005:{
1002:)
993:(
978:{
966:;
939:}
933:;
924:)
921:7
918:(
915:g
894:(
888:=
885:g
879:{
864:;
861:3
858:+
855:i
849:{
846:)
843:i
837:(
834:=
816:x
813:(
810:f
807:(
804:f
798:{
795:)
792:x
786:(
780:{
777:)
774:f
762:(
759:=
737:}
731:;
722:)
719:7
716:(
713:g
692:(
686:=
683:g
677:{
662:;
659:3
656:+
653:i
647:{
644:)
641:i
635:(
632:=
614:x
611:(
608:f
605:(
602:f
596:{
593:)
590:x
584:(
578:{
575:)
572:f
566:)
560:(
539:(
536:=
486:7
483:g
474:←
471:g
468:3
465:∘
462:+
459:←
453:2
450:⍣
447:←
431:7
428:g
425:}
422:⍵
413:{
410:←
407:g
404:}
401:3
398:+
395:⍵
392:{
389:←
383:}
380:⍵
371:{
368:←
343:f
264:C
257:f
253:f
223:3
212:)
207:2
194:1
186:(
100:(
79:)
73:(
68:)
64:(
50:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.