43:
6187:
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.
7863:
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,
7928:
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
246:
273:
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
7899:
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
7876:
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
5895:
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
7409:
allow programmers to pass around references to functions. The following C code computes an approximation of the integral of an arbitrary function:
302:
64:
262:
function, found in many functional programming languages, is one example of a higher-order function. It takes as arguments a function
340:
The examples are not intended to compare and contrast programming languages, but to serve as examples of higher-order function syntax
5344:
Note that arrow functions implicitly capture any variables that come from the parent scope, whereas anonymous functions require the
86:
170:, also a function. Higher-order functions should not be confused with other uses of the word "functor" throughout mathematics, see
9126:
9116:
312:
2872:
961:
287:
7186:
The XACML standard defines higher-order functions in the standard to apply a function to multiple values of attribute bags.
17:
192:
7934:
7406:
6746:
5751:
4360:
2577:
2243:
6941:
6560:
4204:
292:
128:
7917:
6353:
6197:
6091:
3472:
2045:
278:
258:
57:
51:
9041:
4549:
1553:
369:
189:
languages are derived, higher-order functions that take one function as argument are values with types of the form
7942:
7938:
7925:
7921:
7852:
function from the C standard library uses a function pointer to emulate the behavior of a higher-order function.
2956:
68:
9121:
7900:
7860:
7394:
5969:
3351:
1862:
274:
171:
154:
357:
7904:
9046:
7873:
186:
148:
116:
182:
159:
9131:
9066:
9031:
9015:
8314:
3476:
124:
8310:
2249:
9036:
7884:
operations) in the scope of evaluation. There can be significant drawbacks to this approach:
9061:
7930:
7390:
322:
104:
178:
9051:
317:
7907:, causing some added overhead at run-time, and usually generating less efficient code.
356:
it preferably should return a function rather than a value. This is in line with the "
9110:
9086:
7933:
for defining and instantiating an object and its method(s). Languages that permit
7949:
7893:
7889:
4331:(::var"#result#3"{typeof(plusthree)}) (generic function with 1 method)
1712:
100:
27:
Function that takes one or more functions as an input or that outputs a function
266:
and a collection of elements, and as the result, returns a new collection with
3906:
167:
132:
9014:
In this case, different types are used to trigger different functions via
8294:
record as input and returns the integer value of the sum of the record's
307:
163:
8313:
can be used to implement higher-order functions in languages that lack
521:
7896:
to determine the well-formedness and safety of the code to be executed.
7402:
3195:
1439:
31:
7242:
4693:
3178:
Notice a function literal can be defined either with an identifier (
325:, a semantic theory of natural language, uses higher-order functions
7398:
7172:
Tcl uses apply command to apply an anonymous function (since 8.6).
2417:
Alternatively, we can also compose using pure anonymous functions.
511:
348:
takes a function, and applies the function to some value twice. If
7849:
7230:
7181:
4827:
297:
5357:
7115:
4938:
36:
9018:. The overloaded function in this example has the signature
18:
Comparison of programming languages (higher-order functions)
7229:
The list of higher-order functions in XACML can be found
146:. In mathematics higher-order functions are also termed
8451:// Defunctionalized function application implementations
7920:
languages that do not support higher-order functions,
7504:/* Compute the integral of f() within the interval */
344:
In the following examples, the higher-order function
241:{\displaystyle (\tau _{1}\to \tau _{2})\to \tau _{3}}
195:
166:
is a common example, since it maps a function to its
7948:An example of using a simple stack based record in
5896:
5345:
3183:
3179:
2860:
2856:
2852:
2848:
2844:
2840:
2836:
2832:
2828:
2824:
2820:
2816:
2812:
2808:
2804:
2800:
2796:
2792:
2788:
517:
353:
349:
345:
2787:In this Erlang example, the higher-order function
240:
123:takes one or more functions as arguments (i.e. a
7888:The argument code to be executed is usually not
7945:can provide more flexibility with this method.
7864:although they may produce strongly typed code.
2248:In Elixir, you can mix module definitions and
352:has to be applied several times for the same
8:
8322:// Defunctionalized function data structures
7924:can be an effective substitute. An object's
753:Or, with generic lambdas provided by C++14:
270:applied to each element from the collection.
4307:plusthree (generic function with 1 method)
138:returns a function or value as its result.
7952:with a function that returns a function:
232:
216:
203:
194:
119:that does at least one of the following:
87:Learn how and when to remove this message
2811:returns false then the next function in
50:This article includes a list of general
9078:
3182:) or anonymously (assigned to variable
181:, all functions are higher-order; in a
4277:twice (generic function with 1 method)
3680:Or equivalently, with static methods:
2859:can be functions. The example returns
1198:Or equivalently, with static methods:
8251:// return a function to "a"
7:
7892:; these languages generally rely on
5546:or with all functions in variables:
5154:or with all functions in variables:
5899:could be implemented equivalently:
2831:will be evaluated. If the function
2815:will be evaluated. If the function
9054:- a formalism for functions which
3481:Using just functional interfaces:
56:it lacks sufficient corresponding
25:
1548:ColdFusion Markup Language (CFML)
8754:// Higher-order compose function
330:Support in programming languages
41:
9087:"PHP: Arrow Functions - Manual"
2873:F Sharp (programming language)
962:C Sharp (programming language)
225:
222:
209:
196:
1:
6747:Scheme (programming language)
5752:Python (programming language)
4361:Kotlin (programming language)
2807:as argument. If the function
2799:). It evaluates the function
2578:Erlang (programming language)
2244:Elixir (programming language)
6942:Swift (programming language)
6561:Scala (programming language)
4205:Julia (programming language)
135:that is itself a procedure),
7918:object-oriented programming
6354:Rust (programming language)
6198:Ruby (programming language)
6092:Raku (programming language)
3473:Java (programming language)
2791:takes a list of functions (
2046:Dart (programming language)
9148:
9042:Function-level programming
7240:
7179:
7113:
6939:
6744:
6558:
6351:
6195:
6089:
5967:
5749:
5355:
4936:
4825:
4691:
4550:Lua (programming language)
4547:
4358:
4202:
4038:Or with classical syntax:
3904:
3470:
3349:
3193:
2954:
2870:
2839:the higher-order function
2823:then the next function in
2575:
2241:
2043:
1860:
1710:
1554:ColdFusion Markup Language
1551:
1437:
959:
509:
370:APL (programming language)
367:
29:
2957:Go (programming language)
32:Functor (category theory)
8319:
7954:
7901:just-in-time compilation
7411:
7246:
7188:
7119:
6945:
6750:
6564:
6357:
6201:
6095:
5973:
5970:R (programming language)
5901:
5755:
5548:
5361:
5348:keyword to do the same.
5156:
4942:
4831:
4697:
4553:
4364:
4208:
4040:
3913:
3682:
3483:
3416:
3358:
3352:J (programming language)
3199:
2960:
2876:
2581:
2419:
2253:
2049:
1866:
1863:D (programming language)
1716:
1557:
1443:
1200:
968:
755:
526:
452:
373:
172:Functor (disambiguation)
142:All other functions are
30:Not to be confused with
7868:Dynamic code evaluation
71:more precise citations.
9127:Higher-order functions
9117:Functional programming
9058:higher-order functions
9047:Functional programming
7874:imperative programming
4043:"use strict"
3916:"use strict"
3911:With arrow functions:
966:Using just delegates:
450:Or in a tacit manner:
284:is an example of this.
242:
187:functional programming
9067:Higher order messages
8315:first-class functions
7393:in languages such as
7241:Further information:
7180:Further information:
7114:Further information:
6940:Further information:
6745:Further information:
6559:Further information:
6352:Further information:
6196:Further information:
6090:Further information:
5968:Further information:
5750:Further information:
5356:Further information:
4937:Further information:
4826:Further information:
4692:Further information:
4548:Further information:
4359:Further information:
4203:Further information:
3905:Further information:
3471:Further information:
3350:Further information:
3194:Further information:
2955:Further information:
2871:Further information:
2576:Further information:
2242:Further information:
2044:Further information:
1861:Further information:
1711:Further information:
1552:Further information:
1438:Further information:
960:Further information:
510:Further information:
368:Further information:
358:don't repeat yourself
243:
183:typed lambda calculus
160:differential operator
144:first-order functions
109:higher-order function
9032:First-class function
9016:function overloading
3688:java.util.function.*
3489:java.util.function.*
3477:Java version history
303:Function composition
193:
125:procedural parameter
8311:Defunctionalization
8306:Defunctionalization
7941:-based) objects or
7218:allowedCitizenships
5116:'plusThree'
2250:anonymous functions
7903:) or evaluated by
2803:with the argument
538:<functional>
238:
185:, from which most
9037:Combinatory logic
7391:Function pointers
7386:Function pointers
7206:anyOfAny(function
97:
96:
89:
16:(Redirected from
9139:
9101:
9100:
9098:
9097:
9083:
9062:Strategy pattern
9021:
9010:
9007:
9004:
9001:
8998:
8995:
8992:
8989:
8986:
8983:
8980:
8977:
8974:
8971:
8968:
8965:
8962:
8959:
8956:
8953:
8950:
8947:
8944:
8941:
8938:
8935:
8932:
8929:
8926:
8923:
8920:
8917:
8914:
8911:
8908:
8905:
8902:
8899:
8896:
8893:
8890:
8887:
8884:
8881:
8878:
8875:
8872:
8869:
8866:
8863:
8860:
8857:
8854:
8851:
8848:
8845:
8842:
8839:
8836:
8833:
8830:
8827:
8824:
8821:
8818:
8815:
8812:
8809:
8806:
8803:
8800:
8797:
8794:
8791:
8788:
8785:
8782:
8779:
8776:
8773:
8770:
8767:
8764:
8761:
8758:
8755:
8752:
8749:
8746:
8743:
8740:
8737:
8734:
8731:
8728:
8725:
8722:
8719:
8716:
8713:
8710:
8707:
8704:
8701:
8698:
8695:
8692:
8689:
8686:
8683:
8680:
8677:
8674:
8671:
8668:
8665:
8662:
8659:
8656:
8653:
8650:
8647:
8644:
8641:
8638:
8635:
8632:
8629:
8626:
8623:
8620:
8617:
8614:
8611:
8608:
8605:
8602:
8599:
8596:
8593:
8590:
8587:
8584:
8581:
8578:
8575:
8572:
8569:
8566:
8563:
8560:
8557:
8554:
8551:
8548:
8545:
8542:
8539:
8536:
8533:
8530:
8527:
8524:
8521:
8518:
8515:
8512:
8509:
8506:
8503:
8500:
8497:
8494:
8491:
8488:
8485:
8482:
8479:
8476:
8473:
8470:
8467:
8464:
8461:
8458:
8455:
8452:
8449:
8446:
8443:
8440:
8437:
8434:
8431:
8428:
8425:
8422:
8419:
8416:
8413:
8410:
8407:
8404:
8401:
8398:
8395:
8392:
8389:
8386:
8383:
8380:
8377:
8374:
8371:
8368:
8365:
8362:
8359:
8356:
8353:
8350:
8347:
8344:
8341:
8338:
8335:
8332:
8329:
8326:
8323:
8302:fields (3 + 7).
8301:
8297:
8293:
8289:
8282:
8279:
8276:
8273:
8270:
8267:
8264:
8261:
8258:
8255:
8252:
8249:
8246:
8243:
8240:
8237:
8234:
8231:
8228:
8225:
8222:
8219:
8216:
8213:
8210:
8207:
8204:
8201:
8198:
8195:
8192:
8189:
8186:
8183:
8180:
8177:
8174:
8171:
8168:
8165:
8162:
8159:
8156:
8153:
8150:
8147:
8144:
8141:
8138:
8135:
8132:
8129:
8126:
8123:
8120:
8117:
8114:
8111:
8108:
8105:
8102:
8099:
8096:
8093:
8090:
8087:
8084:
8081:
8078:
8075:
8072:
8069:
8066:
8063:
8060:
8057:
8054:
8051:
8048:
8045:
8042:
8039:
8036:
8033:
8030:
8027:
8024:
8021:
8018:
8015:
8012:
8009:
8006:
8003:
8000:
7997:
7994:
7991:
7988:
7985:
7982:
7979:
7976:
7973:
7970:
7967:
7964:
7961:
7958:
7931:boilerplate code
7890:statically typed
7844:
7841:
7838:
7835:
7832:
7829:
7826:
7823:
7820:
7817:
7814:
7811:
7808:
7805:
7802:
7799:
7796:
7793:
7790:
7787:
7784:
7781:
7778:
7775:
7772:
7769:
7766:
7763:
7760:
7757:
7754:
7751:
7748:
7745:
7742:
7739:
7736:
7733:
7730:
7727:
7724:
7721:
7718:
7715:
7712:
7709:
7706:
7703:
7700:
7697:
7694:
7691:
7688:
7685:
7682:
7679:
7676:
7673:
7670:
7667:
7664:
7661:
7658:
7655:
7652:
7649:
7646:
7643:
7640:
7637:
7634:
7631:
7628:
7625:
7622:
7619:
7616:
7613:
7610:
7607:
7604:
7601:
7598:
7595:
7592:
7589:
7586:
7583:
7580:
7577:
7574:
7571:
7568:
7565:
7562:
7559:
7556:
7553:
7550:
7547:
7544:
7541:
7538:
7535:
7532:
7529:
7526:
7523:
7520:
7517:
7514:
7511:
7508:
7505:
7502:
7499:
7496:
7493:
7490:
7487:
7484:
7481:
7478:
7475:
7472:
7469:
7466:
7463:
7460:
7457:
7454:
7451:
7448:
7445:
7442:
7439:
7436:
7433:
7430:
7427:
7424:
7421:
7418:
7415:
7376:
7373:
7370:
7367:
7364:
7361:
7358:
7355:
7352:
7349:
7346:
7343:
7340:
7337:
7334:
7331:
7328:
7325:
7322:
7319:
7316:
7313:
7310:
7307:
7304:
7301:
7298:
7295:
7292:
7289:
7286:
7283:
7280:
7277:
7274:
7271:
7268:
7265:
7262:
7259:
7256:
7253:
7250:
7225:
7222:
7219:
7216:
7213:
7210:
7207:
7204:
7201:
7198:
7195:
7192:
7168:
7165:
7162:
7159:
7156:
7153:
7150:
7146:
7143:
7140:
7137:
7134:
7130:
7127:
7123:
7105:
7102:
7099:
7096:
7093:
7090:
7087:
7084:
7081:
7078:
7075:
7072:
7069:
7066:
7063:
7060:
7057:
7054:
7051:
7048:
7045:
7042:
7039:
7036:
7033:
7030:
7027:
7024:
7021:
7018:
7015:
7012:
7009:
7006:
7003:
7000:
6997:
6994:
6991:
6988:
6985:
6982:
6979:
6976:
6973:
6970:
6967:
6964:
6961:
6958:
6955:
6952:
6949:
6931:
6928:
6925:
6922:
6919:
6916:
6913:
6910:
6907:
6904:
6901:
6898:
6895:
6892:
6889:
6886:
6883:
6880:
6877:
6874:
6871:
6868:
6865:
6862:
6859:
6856:
6853:
6850:
6847:
6844:
6841:
6838:
6835:
6832:
6829:
6826:
6823:
6820:
6817:
6814:
6811:
6808:
6805:
6802:
6799:
6796:
6793:
6790:
6787:
6784:
6781:
6778:
6775:
6772:
6769:
6766:
6763:
6760:
6757:
6754:
6736:
6733:
6730:
6727:
6724:
6721:
6718:
6715:
6712:
6709:
6706:
6703:
6700:
6697:
6694:
6691:
6688:
6685:
6682:
6679:
6676:
6673:
6670:
6667:
6664:
6661:
6658:
6655:
6652:
6649:
6646:
6643:
6640:
6637:
6634:
6631:
6628:
6625:
6622:
6619:
6616:
6613:
6610:
6607:
6604:
6601:
6598:
6595:
6592:
6589:
6586:
6583:
6580:
6577:
6574:
6571:
6568:
6550:
6547:
6544:
6541:
6538:
6535:
6532:
6529:
6526:
6523:
6520:
6517:
6514:
6511:
6508:
6505:
6502:
6499:
6496:
6493:
6490:
6487:
6484:
6481:
6478:
6475:
6472:
6468:
6465:
6461:
6458:
6455:
6452:
6449:
6446:
6443:
6440:
6437:
6434:
6431:
6428:
6425:
6422:
6419:
6416:
6413:
6409:
6406:
6403:
6400:
6397:
6393:
6390:
6386:
6383:
6380:
6377:
6374:
6370:
6367:
6364:
6361:
6343:
6340:
6337:
6334:
6331:
6328:
6325:
6322:
6319:
6316:
6313:
6310:
6307:
6304:
6301:
6298:
6295:
6292:
6289:
6286:
6283:
6280:
6277:
6274:
6271:
6268:
6265:
6262:
6259:
6256:
6253:
6250:
6247:
6244:
6241:
6238:
6235:
6232:
6229:
6226:
6223:
6220:
6217:
6214:
6211:
6208:
6205:
6183:
6179:
6175:
6172:
6168:
6164:
6160:
6157:
6153:
6149:
6146:
6142:
6139:
6135:
6132:
6128:
6124:
6120:
6116:
6113:
6109:
6106:
6102:
6099:
6081:
6078:
6075:
6072:
6069:
6066:
6063:
6060:
6057:
6054:
6051:
6048:
6045:
6042:
6039:
6036:
6033:
6030:
6027:
6024:
6021:
6018:
6015:
6012:
6009:
6006:
6003:
6000:
5997:
5994:
5990:
5987:
5984:
5980:
5977:
5959:
5956:
5953:
5950:
5947:
5944:
5941:
5938:
5935:
5932:
5929:
5926:
5923:
5920:
5917:
5914:
5911:
5908:
5905:
5898:
5891:
5888:
5885:
5882:
5879:
5876:
5873:
5870:
5867:
5864:
5861:
5858:
5855:
5852:
5849:
5846:
5843:
5840:
5837:
5834:
5831:
5828:
5825:
5822:
5819:
5816:
5813:
5810:
5807:
5804:
5801:
5798:
5795:
5792:
5789:
5786:
5783:
5780:
5777:
5774:
5771:
5768:
5765:
5762:
5759:
5741:
5738:
5735:
5732:
5729:
5726:
5723:
5720:
5717:
5714:
5711:
5708:
5705:
5702:
5699:
5696:
5693:
5690:
5687:
5684:
5681:
5678:
5675:
5672:
5669:
5666:
5663:
5660:
5657:
5654:
5651:
5648:
5645:
5642:
5639:
5636:
5633:
5630:
5627:
5624:
5621:
5618:
5615:
5612:
5609:
5606:
5603:
5600:
5597:
5594:
5591:
5588:
5585:
5582:
5579:
5576:
5573:
5570:
5567:
5564:
5561:
5558:
5555:
5552:
5542:
5539:
5536:
5533:
5530:
5527:
5524:
5521:
5518:
5515:
5512:
5509:
5506:
5503:
5500:
5497:
5494:
5491:
5488:
5485:
5482:
5479:
5476:
5473:
5470:
5467:
5464:
5461:
5458:
5455:
5452:
5449:
5446:
5443:
5440:
5437:
5434:
5431:
5428:
5425:
5422:
5419:
5416:
5413:
5410:
5407:
5404:
5401:
5398:
5395:
5392:
5389:
5386:
5383:
5380:
5377:
5374:
5371:
5368:
5365:
5347:
5340:
5337:
5334:
5331:
5328:
5325:
5322:
5319:
5316:
5313:
5310:
5307:
5304:
5301:
5298:
5295:
5292:
5289:
5286:
5283:
5280:
5277:
5274:
5271:
5268:
5265:
5262:
5259:
5256:
5253:
5250:
5247:
5244:
5241:
5238:
5235:
5232:
5229:
5226:
5223:
5220:
5217:
5214:
5211:
5208:
5205:
5202:
5199:
5196:
5193:
5190:
5187:
5184:
5181:
5178:
5175:
5172:
5169:
5166:
5163:
5160:
5150:
5147:
5144:
5141:
5138:
5135:
5132:
5129:
5126:
5123:
5120:
5117:
5114:
5111:
5108:
5105:
5102:
5099:
5096:
5093:
5090:
5087:
5084:
5081:
5078:
5075:
5072:
5069:
5066:
5063:
5060:
5057:
5054:
5051:
5048:
5045:
5042:
5039:
5036:
5033:
5030:
5027:
5024:
5021:
5018:
5015:
5012:
5009:
5006:
5003:
5000:
4997:
4994:
4991:
4988:
4985:
4982:
4979:
4976:
4973:
4970:
4967:
4964:
4961:
4958:
4955:
4952:
4949:
4946:
4928:
4925:
4922:
4919:
4916:
4913:
4910:
4907:
4904:
4901:
4898:
4895:
4892:
4889:
4886:
4883:
4880:
4877:
4874:
4871:
4868:
4865:
4862:
4859:
4856:
4853:
4850:
4847:
4844:
4841:
4838:
4835:
4817:
4814:
4811:
4808:
4805:
4802:
4799:
4796:
4793:
4790:
4787:
4784:
4781:
4778:
4775:
4772:
4769:
4766:
4763:
4760:
4757:
4754:
4751:
4748:
4745:
4742:
4739:
4736:
4733:
4730:
4727:
4724:
4721:
4718:
4715:
4711:
4708:
4705:
4701:
4683:
4680:
4677:
4674:
4671:
4668:
4665:
4662:
4659:
4656:
4653:
4650:
4647:
4644:
4641:
4638:
4635:
4632:
4629:
4626:
4623:
4620:
4617:
4614:
4611:
4608:
4605:
4602:
4599:
4596:
4593:
4590:
4587:
4584:
4581:
4578:
4575:
4572:
4569:
4566:
4563:
4560:
4557:
4539:
4536:
4533:
4530:
4527:
4524:
4521:
4518:
4515:
4512:
4509:
4506:
4503:
4500:
4497:
4494:
4491:
4488:
4485:
4482:
4479:
4476:
4473:
4470:
4467:
4464:
4461:
4458:
4455:
4452:
4449:
4446:
4443:
4440:
4437:
4434:
4431:
4428:
4425:
4422:
4419:
4416:
4413:
4410:
4407:
4404:
4401:
4398:
4395:
4392:
4389:
4386:
4383:
4380:
4377:
4374:
4371:
4368:
4350:
4347:
4344:
4341:
4338:
4335:
4332:
4329:
4326:
4323:
4320:
4317:
4314:
4311:
4308:
4305:
4302:
4299:
4296:
4293:
4290:
4287:
4284:
4281:
4278:
4275:
4272:
4269:
4266:
4263:
4260:
4257:
4254:
4251:
4248:
4245:
4242:
4239:
4236:
4233:
4230:
4227:
4224:
4221:
4218:
4215:
4212:
4194:
4191:
4188:
4185:
4182:
4179:
4176:
4173:
4170:
4167:
4164:
4161:
4158:
4155:
4152:
4149:
4146:
4143:
4140:
4137:
4134:
4131:
4128:
4125:
4122:
4119:
4116:
4113:
4110:
4107:
4104:
4101:
4098:
4095:
4092:
4089:
4086:
4083:
4080:
4077:
4074:
4071:
4068:
4065:
4062:
4059:
4056:
4053:
4050:
4047:
4044:
4034:
4031:
4028:
4025:
4022:
4019:
4016:
4013:
4010:
4007:
4004:
4001:
3998:
3995:
3992:
3989:
3986:
3983:
3980:
3977:
3974:
3971:
3968:
3965:
3962:
3959:
3956:
3953:
3950:
3947:
3944:
3941:
3938:
3935:
3932:
3929:
3926:
3923:
3920:
3917:
3896:
3893:
3890:
3887:
3884:
3881:
3878:
3875:
3872:
3869:
3866:
3863:
3860:
3857:
3854:
3851:
3848:
3845:
3842:
3839:
3836:
3833:
3830:
3827:
3824:
3821:
3818:
3815:
3812:
3809:
3806:
3803:
3800:
3797:
3794:
3791:
3788:
3785:
3782:
3779:
3776:
3773:
3770:
3767:
3764:
3761:
3758:
3755:
3752:
3749:
3746:
3743:
3740:
3737:
3734:
3731:
3728:
3725:
3722:
3719:
3718:IntUnaryOperator
3716:
3713:
3710:
3709:IntUnaryOperator
3707:
3704:
3701:
3698:
3695:
3692:
3689:
3686:
3676:
3673:
3670:
3667:
3664:
3661:
3658:
3655:
3652:
3649:
3646:
3643:
3640:
3637:
3634:
3631:
3628:
3625:
3622:
3619:
3616:
3613:
3610:
3607:
3604:
3601:
3598:
3595:
3592:
3589:
3586:
3583:
3580:
3579:IntUnaryOperator
3577:
3574:
3571:
3568:
3565:
3562:
3559:
3556:
3553:
3550:
3547:
3544:
3543:IntUnaryOperator
3541:
3538:
3537:IntUnaryOperator
3535:
3532:
3529:
3526:
3523:
3520:
3517:
3514:
3511:
3508:
3505:
3502:
3499:
3496:
3493:
3490:
3487:
3462:
3459:
3456:
3453:
3450:
3447:
3444:
3441:
3438:
3435:
3432:
3429:
3426:
3423:
3420:
3410:
3407:
3404:
3401:
3398:
3395:
3392:
3389:
3386:
3383:
3380:
3377:
3374:
3371:
3368:
3365:
3362:
3341:
3338:
3335:
3332:
3329:
3326:
3323:
3320:
3317:
3314:
3311:
3308:
3305:
3302:
3299:
3296:
3293:
3290:
3287:
3284:
3281:
3278:
3275:
3272:
3269:
3266:
3263:
3260:
3257:
3254:
3251:
3248:
3245:
3242:
3239:
3236:
3233:
3230:
3227:
3224:
3221:
3218:
3215:
3212:
3209:
3206:
3203:
3185:
3181:
3174:
3171:
3168:
3165:
3162:
3159:
3156:
3153:
3150:
3147:
3144:
3141:
3138:
3135:
3132:
3129:
3126:
3123:
3120:
3117:
3114:
3111:
3108:
3105:
3102:
3099:
3096:
3093:
3090:
3087:
3084:
3081:
3078:
3075:
3072:
3069:
3066:
3063:
3060:
3057:
3054:
3051:
3048:
3045:
3042:
3039:
3036:
3033:
3030:
3027:
3024:
3021:
3018:
3015:
3012:
3009:
3006:
3003:
3000:
2997:
2994:
2991:
2988:
2985:
2982:
2979:
2976:
2973:
2970:
2967:
2964:
2946:
2943:
2940:
2937:
2934:
2931:
2928:
2925:
2922:
2919:
2916:
2913:
2910:
2907:
2904:
2901:
2898:
2895:
2892:
2889:
2886:
2883:
2880:
2862:
2858:
2854:
2850:
2846:
2842:
2838:
2834:
2830:
2826:
2822:
2818:
2814:
2810:
2806:
2802:
2798:
2795:) and argument (
2794:
2790:
2783:
2780:
2777:
2774:
2771:
2768:
2765:
2762:
2759:
2756:
2753:
2750:
2747:
2744:
2741:
2738:
2735:
2732:
2729:
2726:
2723:
2720:
2717:
2714:
2711:
2708:
2705:
2702:
2699:
2696:
2693:
2690:
2687:
2684:
2681:
2678:
2675:
2672:
2669:
2666:
2663:
2660:
2657:
2654:
2651:
2648:
2645:
2642:
2639:
2636:
2633:
2630:
2627:
2624:
2621:
2618:
2615:
2612:
2609:
2606:
2603:
2600:
2597:
2594:
2591:
2588:
2585:
2567:
2564:
2561:
2558:
2555:
2552:
2549:
2546:
2543:
2540:
2537:
2534:
2531:
2528:
2525:
2522:
2519:
2516:
2513:
2510:
2507:
2504:
2501:
2498:
2495:
2492:
2489:
2486:
2483:
2480:
2477:
2474:
2471:
2468:
2465:
2462:
2459:
2456:
2453:
2450:
2447:
2444:
2441:
2438:
2435:
2432:
2429:
2426:
2423:
2413:
2410:
2407:
2404:
2401:
2398:
2395:
2392:
2389:
2386:
2383:
2380:
2377:
2374:
2371:
2368:
2365:
2362:
2359:
2356:
2353:
2350:
2347:
2344:
2341:
2338:
2335:
2332:
2329:
2326:
2323:
2320:
2317:
2314:
2311:
2308:
2305:
2302:
2299:
2296:
2293:
2290:
2287:
2284:
2281:
2278:
2275:
2272:
2269:
2266:
2263:
2260:
2257:
2233:
2230:
2227:
2224:
2221:
2218:
2215:
2212:
2209:
2206:
2203:
2200:
2197:
2194:
2191:
2188:
2185:
2182:
2179:
2176:
2173:
2170:
2167:
2164:
2161:
2158:
2155:
2152:
2149:
2146:
2143:
2140:
2137:
2134:
2131:
2128:
2125:
2122:
2119:
2116:
2113:
2110:
2107:
2104:
2101:
2098:
2095:
2092:
2089:
2086:
2083:
2080:
2077:
2074:
2071:
2068:
2065:
2062:
2059:
2056:
2053:
2035:
2032:
2029:
2026:
2023:
2020:
2017:
2014:
2011:
2008:
2005:
2002:
1999:
1996:
1993:
1990:
1987:
1984:
1981:
1978:
1975:
1972:
1969:
1966:
1963:
1960:
1957:
1954:
1951:
1948:
1945:
1942:
1939:
1936:
1933:
1930:
1927:
1924:
1921:
1918:
1915:
1912:
1909:
1906:
1903:
1900:
1897:
1894:
1891:
1888:
1885:
1882:
1879:
1876:
1873:
1870:
1852:
1849:
1846:
1843:
1840:
1837:
1834:
1831:
1828:
1825:
1822:
1819:
1816:
1813:
1810:
1807:
1804:
1801:
1798:
1795:
1792:
1789:
1786:
1783:
1780:
1777:
1774:
1771:
1768:
1765:
1762:
1759:
1756:
1753:
1750:
1747:
1744:
1741:
1738:
1735:
1732:
1729:
1726:
1723:
1720:
1702:
1699:
1696:
1693:
1690:
1687:
1684:
1681:
1678:
1675:
1672:
1669:
1666:
1663:
1660:
1657:
1654:
1651:
1648:
1645:
1642:
1639:
1636:
1633:
1630:
1627:
1624:
1621:
1618:
1615:
1612:
1609:
1606:
1603:
1600:
1597:
1594:
1591:
1588:
1585:
1582:
1579:
1576:
1573:
1570:
1567:
1564:
1561:
1543:
1540:
1537:
1534:
1531:
1528:
1525:
1522:
1519:
1516:
1513:
1510:
1507:
1504:
1501:
1498:
1495:
1492:
1489:
1486:
1483:
1480:
1477:
1474:
1471:
1468:
1465:
1462:
1459:
1456:
1453:
1450:
1447:
1429:
1426:
1423:
1420:
1417:
1414:
1411:
1408:
1405:
1402:
1399:
1396:
1393:
1390:
1387:
1384:
1381:
1378:
1375:
1372:
1369:
1366:
1363:
1360:
1357:
1354:
1351:
1348:
1345:
1342:
1339:
1336:
1333:
1330:
1327:
1324:
1321:
1318:
1315:
1312:
1309:
1306:
1303:
1300:
1297:
1294:
1291:
1288:
1285:
1282:
1279:
1276:
1273:
1270:
1267:
1264:
1261:
1258:
1255:
1252:
1249:
1246:
1243:
1240:
1237:
1234:
1231:
1228:
1225:
1222:
1219:
1216:
1213:
1210:
1207:
1204:
1194:
1191:
1188:
1185:
1182:
1179:
1176:
1173:
1170:
1167:
1164:
1161:
1158:
1155:
1152:
1149:
1146:
1143:
1140:
1137:
1134:
1131:
1128:
1125:
1122:
1119:
1116:
1113:
1110:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1083:
1080:
1077:
1074:
1071:
1068:
1065:
1062:
1059:
1056:
1053:
1050:
1047:
1044:
1041:
1038:
1035:
1032:
1029:
1026:
1023:
1020:
1017:
1014:
1011:
1008:
1005:
1002:
999:
996:
993:
990:
987:
984:
981:
978:
975:
972:
951:
948:
945:
942:
939:
936:
933:
930:
927:
924:
921:
918:
915:
912:
909:
906:
903:
900:
897:
894:
891:
888:
885:
882:
879:
876:
873:
870:
867:
864:
861:
858:
855:
852:
849:
846:
843:
840:
837:
834:
831:
828:
825:
822:
819:
816:
813:
810:
807:
804:
801:
798:
795:
792:
789:
786:
783:
780:
777:
774:
771:
768:
765:
762:
761:<iostream>
759:
749:
746:
743:
740:
737:
734:
731:
728:
725:
722:
719:
716:
713:
710:
707:
704:
701:
698:
695:
692:
689:
686:
683:
680:
677:
674:
671:
668:
665:
662:
659:
656:
653:
650:
647:
644:
641:
638:
635:
632:
629:
626:
623:
620:
617:
614:
611:
608:
605:
602:
599:
596:
593:
590:
587:
584:
581:
578:
575:
572:
569:
566:
563:
560:
557:
554:
551:
548:
545:
542:
539:
536:
533:
532:<iostream>
530:
519:
501:
498:
495:
492:
489:
486:
483:
480:
477:
474:
471:
468:
465:
462:
459:
456:
446:
443:
440:
437:
434:
431:
428:
425:
422:
419:
416:
413:
410:
407:
404:
401:
398:
395:
392:
389:
386:
383:
380:
377:
355:
351:
347:
323:Montague grammar
283:
261:
252:General examples
247:
245:
244:
239:
237:
236:
221:
220:
208:
207:
105:computer science
92:
85:
81:
78:
72:
67:this article by
58:inline citations
45:
44:
37:
21:
9147:
9146:
9142:
9141:
9140:
9138:
9137:
9136:
9122:Lambda calculus
9107:
9106:
9105:
9104:
9095:
9093:
9085:
9084:
9080:
9075:
9028:
9019:
9012:
9011:
9008:
9005:
9002:
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:
8308:
8299:
8295:
8291:
8287:
8284:
8283:
8280:
8277:
8274:
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:
7937:-based (versus
7914:
7870:
7858:
7846:
7845:
7842:
7839:
7836:
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:
7417:<stdio.h>
7416:
7413:
7388:
7383:
7378:
7377:
7374:
7371:
7368:
7365:
7362:
7359:
7357:local:plusthree
7356:
7353:
7350:
7347:
7344:
7341:
7338:
7335:
7332:
7329:
7326:
7323:
7320:
7318:local:plusthree
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:
7239:
7227:
7226:
7223:
7220:
7217:
7214:
7211:
7208:
7205:
7202:
7199:
7196:
7193:
7190:
7184:
7178:
7170:
7169:
7166:
7163:
7160:
7157:
7154:
7151:
7148:
7144:
7141:
7138:
7135:
7132:
7128:
7125:
7121:
7118:
7112:
7107:
7106:
7103:
7100:
7097:
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:
6938:
6933:
6932:
6929:
6926:
6923:
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:
6743:
6738:
6737:
6734:
6731:
6728:
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:
6557:
6552:
6551:
6548:
6545:
6542:
6539:
6536:
6533:
6530:
6527:
6524:
6521:
6518:
6515:
6512:
6509:
6506:
6503:
6500:
6497:
6494:
6491:
6488:
6485:
6482:
6479:
6476:
6473:
6470:
6466:
6463:
6459:
6456:
6453:
6450:
6447:
6444:
6441:
6438:
6435:
6432:
6429:
6426:
6423:
6420:
6417:
6414:
6411:
6407:
6404:
6401:
6398:
6395:
6391:
6388:
6384:
6381:
6378:
6375:
6372:
6368:
6365:
6362:
6359:
6356:
6350:
6345:
6344:
6341:
6338:
6335:
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:
6194:
6185:
6184:
6181:
6177:
6173:
6170:
6166:
6162:
6158:
6155:
6151:
6147:
6144:
6140:
6137:
6133:
6130:
6126:
6122:
6118:
6114:
6111:
6107:
6104:
6100:
6097:
6094:
6088:
6083:
6082:
6079:
6076:
6073:
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:
5988:
5985:
5982:
5978:
5975:
5972:
5966:
5961:
5960:
5957:
5954:
5951:
5948:
5945:
5942:
5939:
5936:
5933:
5930:
5927:
5924:
5921:
5918:
5915:
5912:
5909:
5906:
5903:
5893:
5892:
5889:
5886:
5883:
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:
5748:
5743:
5742:
5739:
5736:
5733:
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:
5544:
5543:
5540:
5537:
5534:
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:
5354:
5342:
5341:
5338:
5335:
5332:
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:
5152:
5151:
5148:
5145:
5142:
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:
4935:
4930:
4929:
4926:
4923:
4920:
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:
4824:
4819:
4818:
4815:
4812:
4809:
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:
4709:
4706:
4703:
4699:
4696:
4690:
4685:
4684:
4681:
4678:
4675:
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:
4546:
4541:
4540:
4537:
4534:
4531:
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:
4357:
4352:
4351:
4348:
4345:
4342:
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:
4201:
4196:
4195:
4192:
4189:
4186:
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:
4036:
4035:
4032:
4029:
4026:
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:
3909:
3903:
3898:
3897:
3894:
3891:
3888:
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:
3705:
3702:
3699:
3696:
3693:
3690:
3687:
3684:
3678:
3677:
3674:
3671:
3668:
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:
3566:
3563:
3560:
3557:
3554:
3551:
3548:
3545:
3542:
3539:
3536:
3533:
3530:
3527:
3524:
3521:
3518:
3515:
3512:
3509:
3506:
3503:
3500:
3497:
3494:
3491:
3488:
3485:
3479:
3469:
3464:
3463:
3460:
3457:
3454:
3451:
3448:
3445:
3442:
3439:
3436:
3433:
3430:
3427:
3424:
3421:
3418:
3412:
3411:
3408:
3405:
3402:
3399:
3396:
3393:
3390:
3388:'y + 3'
3387:
3384:
3381:
3378:
3375:
3373:'u u y'
3372:
3369:
3366:
3363:
3360:
3354:
3348:
3343:
3342:
3339:
3336:
3333:
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:
3192:
3176:
3175:
3172:
3169:
3166:
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:
2972:"fmt"
2971:
2968:
2965:
2962:
2959:
2953:
2948:
2947:
2944:
2941:
2938:
2935:
2932:
2929:
2926:
2923:
2920:
2917:
2914:
2911:
2908:
2905:
2902:
2899:
2896:
2893:
2890:
2887:
2884:
2881:
2878:
2875:
2869:
2785:
2784:
2781:
2778:
2775:
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:
2574:
2569:
2568:
2565:
2562:
2559:
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:
2415:
2414:
2411:
2408:
2405:
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:
2246:
2240:
2235:
2234:
2231:
2228:
2225:
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:
2042:
2037:
2036:
2033:
2030:
2027:
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:
1859:
1854:
1853:
1850:
1847:
1844:
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:
1709:
1704:
1703:
1700:
1697:
1694:
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:
1550:
1545:
1544:
1541:
1538:
1535:
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:
1436:
1431:
1430:
1427:
1424:
1421:
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:
1196:
1195:
1192:
1189:
1186:
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:
964:
958:
953:
952:
949:
946:
943:
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:
751:
750:
747:
744:
741:
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:
514:
508:
503:
502:
499:
496:
493:
490:
487:
484:
481:
478:
475:
472:
469:
466:
463:
460:
457:
454:
448:
447:
444:
441:
438:
435:
432:
429:
426:
423:
420:
417:
414:
411:
408:
405:
402:
399:
396:
393:
390:
387:
384:
381:
378:
375:
372:
366:
337:
332:
281:
257:
254:
228:
212:
199:
191:
190:
179:lambda calculus
177:In the untyped
93:
82:
76:
73:
63:Please help to
62:
46:
42:
35:
28:
23:
22:
15:
12:
11:
5:
9145:
9143:
9135:
9134:
9129:
9124:
9119:
9109:
9108:
9103:
9102:
9077:
9076:
9074:
9071:
9070:
9069:
9064:
9059:
9052:Kappa calculus
9049:
9044:
9039:
9034:
9027:
9024:
8320:
8307:
8304:
7955:
7913:
7910:
7909:
7908:
7905:interpretation
7897:
7894:dynamic typing
7869:
7866:
7857:
7854:
7412:
7387:
7384:
7382:
7379:
7247:
7238:
7235:
7189:
7177:
7174:
7120:
7111:
7108:
6946:
6937:
6934:
6751:
6742:
6739:
6565:
6556:
6553:
6528:"{}"
6358:
6349:
6346:
6202:
6193:
6190:
6167:&plusThree
6096:
6087:
6084:
5974:
5965:
5962:
5902:
5756:
5747:
5744:
5734:"\n"
5549:
5535:"\n"
5362:
5353:
5350:
5157:
4943:
4934:
4931:
4832:
4823:
4820:
4698:
4689:
4686:
4554:
4545:
4542:
4365:
4356:
4353:
4209:
4200:
4197:
4041:
3914:
3902:
3899:
3683:
3484:
3468:
3465:
3417:
3359:
3347:
3344:
3200:
3191:
3188:
2961:
2952:
2949:
2942:"%A"
2877:
2868:
2865:
2827:with argument
2582:
2573:
2570:
2420:
2254:
2239:
2236:
2050:
2041:
2038:
1867:
1858:
1855:
1717:
1708:
1705:
1558:
1549:
1546:
1444:
1435:
1432:
1201:
969:
957:
954:
756:
527:
507:
504:
453:
374:
365:
362:
336:
335:Direct support
333:
331:
328:
327:
326:
320:
318:Tree traversal
315:
310:
305:
300:
295:
290:
285:
271:
253:
250:
235:
231:
227:
224:
219:
215:
211:
206:
202:
198:
140:
139:
136:
95:
94:
77:September 2013
49:
47:
40:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
9144:
9133:
9130:
9128:
9125:
9123:
9120:
9118:
9115:
9114:
9112:
9092:
9088:
9082:
9079:
9072:
9068:
9065:
9063:
9060:
9057:
9053:
9050:
9048:
9045:
9043:
9040:
9038:
9035:
9033:
9030:
9029:
9025:
9023:
9017:
8318:
8316:
8312:
8305:
8303:
8286:The function
7953:
7951:
7946:
7944:
7940:
7936:
7932:
7927:
7923:
7919:
7911:
7906:
7902:
7898:
7895:
7891:
7887:
7886:
7885:
7883:
7879:
7875:
7867:
7865:
7862:
7855:
7853:
7851:
7410:
7408:
7404:
7400:
7396:
7392:
7385:
7380:
7375:(: 13 :)
7244:
7236:
7234:
7232:
7187:
7183:
7175:
7173:
7117:
7109:
6943:
6935:
6748:
6740:
6562:
6554:
6355:
6347:
6199:
6191:
6189:
6093:
6085:
5971:
5963:
5943:>>>
5904:>>>
5900:
5875:>>>
5854:>>>
5827:>>>
5758:>>>
5753:
5745:
5547:
5359:
5351:
5349:
5155:
4940:
4932:
4924:print_newline
4829:
4821:
4695:
4687:
4551:
4543:
4362:
4354:
4206:
4198:
4039:
3912:
3908:
3900:
3681:
3482:
3478:
3474:
3466:
3415:
3357:
3353:
3345:
3197:
3189:
3187:
2958:
2950:
2874:
2866:
2864:
2579:
2571:
2418:
2252:
2251:
2245:
2237:
2047:
2039:
1864:
1856:
1714:
1706:
1555:
1547:
1441:
1433:
1199:
967:
963:
955:
754:
525:
523:
518:std::function
513:
505:
451:
371:
363:
361:
360:" principle.
359:
342:
341:
334:
329:
324:
321:
319:
316:
314:
311:
309:
306:
304:
301:
299:
296:
294:
291:
289:
286:
280:
276:
272:
269:
265:
260:
256:
255:
251:
249:
233:
229:
217:
213:
204:
200:
188:
184:
180:
175:
173:
169:
165:
161:
157:
156:
151:
150:
145:
137:
134:
130:
127:, which is a
126:
122:
121:
120:
118:
114:
110:
106:
102:
91:
88:
80:
70:
66:
60:
59:
53:
48:
39:
38:
33:
19:
9094:. Retrieved
9090:
9081:
9055:
9013:
8309:
8285:
8275:// prints 10
7947:
7915:
7881:
7877:
7871:
7859:
7847:
7389:
7381:Alternatives
7228:
7212:citizenships
7185:
7171:
7164:# result: 13
6186:
5894:
5545:
5343:
5168:strict_types
5153:
4954:strict_types
4037:
3910:
3679:
3480:
3414:or tacitly,
3413:
3356:Explicitly,
3355:
3177:
2847:. Note that
2843:will return
2786:
2416:
2247:
1197:
965:
941:'\n'
752:
739:'\n'
515:
449:
343:
339:
338:
267:
263:
176:
153:
147:
143:
141:
112:
108:
98:
83:
74:
55:
9132:Subroutines
9091:www.php.net
8829:Composition
8781:Composition
8496:Composition
8424:Composition
7950:Free Pascal
7351:local:twice
7255:local:twice
5710:$ plusThree
5644:$ plusThree
5306:$ plusThree
5252:$ plusThree
3467:Java (1.8+)
1713:Common Lisp
1707:Common Lisp
1683:writeOutput
308:Integration
155:functionals
101:mathematics
69:introducing
9111:Categories
9096:2021-03-01
9073:References
9020:auto apply
7194:allowEntry
6888:plus-three
6849:plus-three
6516:plus_three
6454:plus_three
6315:plus_three
6270:plus_three
6105:Callable:D
5869:plus_three
5830:plus_three
4900:plus_three
4867:plus_three
3907:JavaScript
3901:JavaScript
3877:applyAsInt
3657:applyAsInt
2927:plus_three
2903:plus_three
2821:{false, Y}
2536:plus_three
2488:plus_three
2382:plus_three
2331:plus_three
1827:plus-three
1782:plus-three
1518:plus-three
1485:plus-three
908:plus_three
842:plus_three
706:plus_three
640:plus_three
168:derivative
52:references
7872:In other
7203:condition
7147:plusThree
7080:plusThree
7044:plusThree
6705:plusThree
6627:plusThree
6134:plusThree
6059:plusThree
6020:plusThree
5511:plusThree
5451:plusThree
5062:plusThree
4906:print_int
4792:plusthree
4753:plusthree
4658:plusThree
4616:plusThree
4511:plusThree
4451:plusThree
4334:julia>
4325:plusthree
4310:julia>
4283:plusthree
4280:julia>
4211:julia>
4163:plusThree
4115:plusThree
4003:plusThree
3964:plusThree
3847:plusThree
3763:plusThree
3627:plusThree
3582:plusThree
3449:plusthree
3431:plusthree
3397:plusthree
3376:plusthree
3340:plusThree
3274:plusThree
3259:plusThree
3184:plusThree
3140:plusThree
3086:plusThree
2841:or_else/2
2789:or_else/2
2256:defmodule
2205:plusThree
2142:plusThree
2007:plusThree
1947:plusThree
1677:plusThree
1626:plusThree
1404:WriteLine
1392:PlusThree
1320:PlusThree
1169:WriteLine
1157:plusThree
1118:plusThree
580:>&
488:plusthree
467:plusthree
427:plusthree
397:plusthree
277:standard
230:τ
226:→
214:τ
210:→
201:τ
149:operators
133:procedure
129:parameter
9056:excludes
9026:See also
8772:typename
8763:typename
8757:template
8682:typename
8673:typename
8667:template
8595:typename
8586:typename
8580:template
8478:typename
8469:typename
8460:typename
8454:template
8412:typename
8403:typename
8397:template
8367:typename
8361:template
8331:typename
8325:template
8290:takes a
8116:function
8047:function
8020:function
7804:integral
7792:"%g
7756:integral
7744:"%g
7510:integral
7414:#include
7315:function
7252:function
6969:escaping
6522:println!
6143:) {
6129:)) }; }
6110:) {
6026:function
5563:warnings
5376:warnings
5192:callable
5159:<?php
5059:function
4996:function
4975:callable
4966:function
4945:<?php
4921:(* 13 *)
4700:function
4613:function
4574:function
4556:function
4229:function
4214:function
4112:function
4070:function
4049:function
3531:Function
2894:>>
2835:returns
2819:returns
2076:Function
2055:Function
1632:function
1584:function
1566:function
1527:println
1061:>>
938:<<
923:<<
758:#include
736:<<
721:<<
562:function
535:#include
529:#include
313:Callback
279:function
164:calculus
117:function
8997:// 7.0f
8976:// 4.0f
8910:compose
8799:compose
8254:writeln
7975:integer
7960:example
7957:program
7943:structs
7926:methods
7922:objects
7912:Objects
7882:Execute
7403:Fortran
7312:declare
7249:declare
7158:{return
6918:display
6897:display
6828:compose
6762:compose
6618:compose
5701:$ twice
5572:$ twice
5300:$ twice
5204:Closure
5180:$ twice
5162:declare
4987:Closure
4948:declare
4517:println
4169:console
4009:console
3865:println
3754:private
3739:andThen
3703:private
3645:println
3567:andThen
3196:Haskell
3190:Haskell
3152:Println
2963:package
2767:or_else
2743:or_else
2725:or_else
2692:or_else
2674:or_else
2647:or_else
2617:or_else
2602:or_else
2584:or_else
2013:writeln
1884:writeln
1842:funcall
1764:funcall
1755:funcall
1440:Clojure
1434:Clojure
1398:Console
1311:private
1224:private
1218:Program
1163:Console
986:Program
158:. The
115:) is a
65:improve
9000:return
8826:return
8730:return
8643:return
8532:return
8421:struct
8376:struct
8340:struct
8149:result
8080:Result
7987:record
7861:Macros
7856:Macros
7834:return
7798:"
7786:printf
7762:square
7750:"
7738:printf
7708:return
7588:double
7573:double
7543:double
7534:double
7525:double
7516:double
7507:double
7480:return
7468:double
7459:double
7441:return
7429:double
7423:square
7420:double
7407:Pascal
7405:, and
7243:XQuery
7237:XQuery
7200:permit
7136:{apply
7011:return
6927:"
6921:"
6876:define
6843:define
6810:define
6777:lambda
6756:define
6741:Scheme
6567:object
6469:->
6410:->
6394:->
6387:->
6145:return
6112:return
5931:return
5907:@twice
5836:lambda
5824:result
5821:return
5797:return
5782:result
5746:Python
5554:strict
5508:\&
5367:strict
5333:"
5327:"
5143:"
5137:"
5086:return
5032:return
4993:return
4717:result
4702:result
4694:MATLAB
4688:MATLAB
4628:return
4586:return
4571:return
4418:return
4355:Kotlin
4271:result
4268:return
4244:return
4232:result
4130:return
4085:return
4067:return
3853:System
3814:String
3802:static
3799:public
3781:return
3757:static
3730:return
3706:static
3685:import
3633:System
3519:String
3507:static
3504:public
3486:import
3437:+&
3367:adverb
3113:return
3047:return
3023:return
2969:import
2939:printf
2855:, and
2572:Erlang
2238:Elixir
2160:return
2112:return
2097:return
1869:import
1824:#'
1812:defvar
1740:lambda
1647:return
1599:return
1581:return
1365:string
1353:static
1350:public
1314:static
1281:return
1227:static
1212:public
1206:System
1007:string
995:static
992:public
980:public
974:System
863:return
812:return
794:return
661:return
610:return
592:return
516:Using
288:filter
54:, but
8979:apply
8958:apply
8922:float
8916:DivBy
8883:const
8745:value
8700:DivBy
8694:apply
8658:value
8607:apply
8553:apply
8535:apply
8490:apply
8388:value
8379:DivBy
8352:value
8224:begin
8146:begin
8077:begin
7935:stack
7850:qsort
7182:XACML
7176:XACML
7124:twice
7104:// 13
7086:print
7074:twice
7002:->
6990:->
6981:->
6951:twice
6936:Swift
6885:twice
6816:twice
6729:// 13
6711:print
6699:twice
6675:Array
6606:=>
6594:=>
6579:twice
6555:Scala
6546:// 13
6510:twice
6363:twice
6309:twice
6276:->
6219:->
6207:twice
6163:twice
6138:Int:D
6101:twice
6053:twice
6050:<-
6023:<-
5979:<-
5976:twice
5863:twice
5764:twice
5722:->
5716:print
5704:->
5623:->
5614:->
5523:->
5517:print
5502:twice
5430:->
5421:->
5385:twice
5339:// 13
5279:=>
5231:=>
5207:=>
5149:// 13
5110:twice
4969:twice
4897:twice
4837:twice
4828:OCaml
4822:OCaml
4786:twice
4707:twice
4682:-- 13
4664:print
4652:twice
4643:local
4559:twice
4535:// 13
4502:twice
4409:->
4391:->
4370:twice
4319:twice
4217:twice
4199:Julia
4193:// 13
4157:twice
4148:const
4052:twice
4033:// 13
3997:twice
3988:const
3973:=>
3961:const
3940:=>
3934:=>
3925:twice
3922:const
3889:// 13
3835:twice
3712:twice
3694:class
3669:// 13
3621:apply
3615:twice
3591:->
3558:->
3549:twice
3495:class
3452:twice
3419:twice
3400:twice
3361:twice
3337:twice
3328:where
3325:-- 13
3310:print
3268:->
3241:twice
3232:->
3223:->
3214:->
3202:twice
3180:twice
3170:// 13
3134:twice
2978:twice
2945:// 13
2936:|>
2924:twice
2882:twice
2861:false
2758:->
2722:->
2710:false
2671:->
2665:false
2614:->
2596:false
2593:->
2527:twice
2506:->
2455:->
2440:->
2422:twice
2376:twice
2349:->
2295:->
2268:twice
2229:// 13
2211:print
2199:twice
2190:final
2067:twice
2031:// 13
2001:twice
1965:=>
1944:alias
1923:=>
1908:=>
1893:twice
1890:alias
1878:stdio
1836:print
1821:twice
1779:defun
1725:twice
1722:defun
1701:// 13
1671:twice
1560:twice
1515:twice
1482:defn
1452:twice
1449:defn
1422:// 13
1386:Twice
1335:=>
1287:=>
1248:Twice
1215:class
1203:using
1187:// 13
1151:twice
1127:=>
1079:=>
1073:=>
1064:twice
983:class
971:using
947:// 13
902:twice
782:&
776:const
767:twice
745:// 13
700:twice
553:const
544:twice
522:C++11
491:twice
455:twice
430:twice
376:twice
350:twice
346:twice
298:apply
282:qsort
131:of a
8946:>
8940:<
8931:2.0f
8925:>
8919:<
8901:auto
8892:argv
8886:char
8877:argc
8868:main
8844:>
8832:<
8796:>
8784:<
8778:>
8760:<
8709:>
8703:<
8691:auto
8688:>
8670:<
8622:>
8616:<
8604:auto
8601:>
8583:<
8511:>
8499:<
8487:auto
8484:>
8457:<
8418:>
8400:<
8373:>
8364:<
8337:>
8328:<
8298:and
8155:func
8125:func
7966:type
7939:heap
7878:Eval
7848:The
7810:cube
7729:main
7642:<
7462:cube
7231:here
7191:rule
7167:puts
6948:func
6912:; 13
6804:))))
6681:Unit
6669:args
6663:main
6570:Main
6492:main
6418:move
6396:impl
6373:impl
6348:Rust
6342:# 13
6330:call
6321:puts
6252:call
6240:call
6192:Ruby
6182:# 13
6154:; }
6127:$ ^x
6086:Raku
6065:>
5928:...
5910:...
5818:...
5794:...
5776:...
5740:# 13
5541:# 13
5358:Perl
5352:Perl
5312:echo
5122:echo
4816:% 13
4798:disp
4484:main
3841:Main
3817:args
3808:main
3805:void
3697:Main
3546:>
3534:<
3522:args
3513:main
3510:void
3498:Main
3475:and
3382:verb
3304:main
3292:main
3092:func
3077:main
3074:func
3026:func
3005:func
2987:func
2975:func
2966:main
2566:# 13
2548:puts
2412:# 13
2394:puts
2181:main
2178:void
2040:Dart
1992:auto
1983:main
1980:void
1773:))))
1542:; 13
1506:def
1476:))))
1368:args
1359:Main
1356:void
1269:>
1257:<
1254:Func
1245:>
1233:<
1230:Func
1115:>
1103:<
1100:Func
1049:<
1046:Func
1040:>
1028:<
1025:Func
1022:<
1019:Func
1010:args
1001:Main
998:void
920:cout
893:auto
884:main
839:auto
779:auto
764:auto
718:cout
691:auto
682:main
637:auto
565:<
541:auto
293:fold
107:, a
103:and
8955:});
8943:int
8937:Add
8874:int
8865:int
8733:arg
8721:arg
8646:arg
8634:arg
8613:Add
8574:));
8571:arg
8523:arg
8343:Add
8292:Txy
8288:a()
8278:end
8188:Txy
8167:var
8161:end
8110:end
8071:int
8062:Txy
8041:int
8032:Txy
8008:end
8002:int
7981:Txy
7969:int
7916:In
7880:or
7831:));
7828:100
7783:));
7780:100
7726:int
7711:sum
7690:0.5
7663:sum
7621:for
7576:sum
7564:int
7552:int
7399:C++
7145:set
7139:$ f
7122:set
7116:Tcl
7110:Tcl
7065:let
7053:$ 0
7041:let
7029:$ 0
7005:Int
6996:Int
6984:Int
6975:Int
6690:val
6660:def
6645:Int
6639:Int
6624:def
6609:Int
6603:Int
6597:Int
6591:Int
6576:def
6501:let
6471:i32
6464:i32
6412:i32
6405:i32
6389:i32
6382:i32
6267:end
6204:def
6180:);
6174:$ g
6171:say
6169:);
6159:$ g
6148:$ i
6141:$ i
6131:sub
6123:$ f
6119:$ f
6115:sub
6108:$ f
6098:sub
5913:def
5779:def
5761:def
5719:$ g
5695:$ g
5677:$ i
5662:$ i
5650:sub
5632:));
5620:$ f
5611:$ f
5605:sub
5590:$ f
5578:sub
5560:use
5551:use
5520:$ g
5496:$ g
5478:$ i
5463:$ i
5448:sub
5439:));
5427:$ f
5418:$ f
5412:sub
5397:$ f
5382:sub
5373:use
5364:use
5346:use
5315:$ g
5294:$ g
5282:$ i
5276:int
5267:$ i
5264:int
5249:));
5246:$ x
5240:$ f
5234:$ f
5228:int
5219:$ x
5216:int
5195:$ f
5125:$ g
5104:$ g
5089:$ i
5080:int
5071:$ i
5068:int
5050:));
5047:$ x
5041:$ f
5035:$ f
5026:int
5017:$ f
5011:use
5005:$ x
5002:int
4978:$ f
4939:PHP
4933:PHP
4888:let
4879:let
4873:(+)
4864:let
4834:let
4813:));
4750:end
4747:));
4640:end
4610:end
4607:end
4544:Lua
4493:val
4481:fun
4463:Int
4448:fun
4412:Int
4403:Int
4394:Int
4385:Int
4367:fun
4274:end
4265:end
4190:));
4175:log
4103:));
4030:));
4015:log
3958:));
3886:));
3859:out
3826:var
3769:int
3760:int
3666:));
3639:out
3606:var
3271:Int
3265:Int
3235:Int
3229:Int
3217:Int
3211:Int
3186:).
3146:fmt
3107:int
3101:int
3041:int
3035:int
3017:int
3011:int
2999:int
2993:int
2915:let
2909:(+)
2900:let
2879:let
2746:(_,
2644:)).
2518:end
2485:end
2482:end
2370:Hof
2361:end
2328:end
2325:end
2322:end
2265:def
2259:Hof
2226:));
2148:int
2139:int
2130:));
2082:int
2073:int
2061:int
2052:int
2028:));
1956:int
1941:));
1914:int
1872:std
1698:));
1617:));
1458:fn
1419:));
1377:var
1326:int
1317:int
1305:));
1266:int
1260:int
1242:int
1236:int
1184:));
1142:var
1112:int
1106:int
1097:));
1058:int
1052:int
1037:int
1031:int
914:std
881:int
851:int
830:));
800:int
712:std
679:int
649:int
628:));
598:int
574:int
568:int
556:std
520:in
512:C++
506:C++
364:APL
259:map
162:in
152:or
113:HOF
99:In
9113::
9089:.
9022:.
8994:);
8973:);
8934:},
8859:};
8448:};
8394:};
8358:};
8317::
8269:))
8266:xy
8230::=
8182:xy
8176:Tf
8152::=
8140:Tf
8131:Tf
8098:xy
8086:xy
8083::=
8056:xy
8026:xy
8014:Tf
7795:\n
7747:\n
7732:()
7717:dt
7702:);
7699:dt
7666:+=
7651:++
7591:dt
7531:),
7401:,
7397:,
7348:};
7336:$
7324:$
7309:};
7306:))
7300:$
7291:$
7282:$
7270:$
7261:$
7233:.
7161:}}
7149:{{
7142:}}
7126:{{
7101:))
7032:))
6924:\n
6909:))
6891:))
6870:))
6837:))
6726:))
6678:):
6642:):
6600:):
6543:))
6519:);
6495:()
6489:fn
6462::
6451:fn
6445:))
6399:Fn
6376:Fn
6371::
6360:fn
6261:))
6161:=
6156:my
6150:+
6117:{
6080:13
6017:))
5958:13
5925:):
5890:13
5815:))
5791:):
5773:):
5731:),
5713:);
5692:my
5689:};
5671:@_
5656:my
5641:my
5638:};
5635:};
5629:@_
5599:@_
5584:my
5569:my
5532:),
5514:);
5493:my
5472:@_
5457:my
5442:};
5436:@_
5406:@_
5391:my
5330:\n
5324:),
5309:);
5258:fn
5210:fn
5186:fn
5177:);
5140:\n
5134:),
5119:);
5053:};
4963:);
4927:()
4918:);
4903:in
4882:()
4759:@(
4723:@(
4679:))
4604:))
4532:))
4508:::
4487:()
4439:))
4436:it
4397:):
4349:13
4262:))
4166:);
4106:};
4006:);
3850:);
3844:::
3748:);
3630:);
3576:);
3461:13
3446:=.
3434:=.
3425:^:
3422:=.
3409:13
3394:=.
3379:=.
3364:=.
3301:()
3298:IO
3295:::
3262:::
3205:::
3167:))
3131::=
3089::=
3080:()
3065:))
2951:Go
2867:F#
2863:.
2851:,
2825:Fs
2813:Fs
2793:Fs
2782:).
2779:23
2770:(,
2749:_,
2740:);
2731:Fs
2719:})
2704:_,
2698:Fs
2689:);
2680:Fs
2653:Fs
2623:Fs
2605:(,
2590:_)
2587:(,
2542:IO
2494:fn
2479:))
2443:fn
2428:fn
2388:IO
2337:fn
2319:))
2283:fn
2280:do
2262:do
2208:);
2184:()
2133:};
2010:);
1986:()
1851:))
1830:))
1806:))
1680:);
1662:};
1623:};
1620:};
1539:))
1521:))
1500:))
1491:+
1395:);
1160:);
956:C#
917:::
911:);
887:()
878:};
836:};
833:};
715:::
709:);
685:()
676:};
634:};
631:};
559:::
524::
500:13
445:13
388:⍺⍺
385:⍺⍺
248:.
174:.
9099:.
9009:}
9006:;
9003:0
8991:9
8988:,
8985:f
8982:(
8970:3
8967:,
8964:f
8961:(
8952:5
8949:{
8928:{
8913:(
8907:=
8904:f
8898:{
8895:)
8889:*
8880:,
8871:(
8862:}
8856:g
8853:,
8850:f
8847:{
8841:G
8838:,
8835:F
8823:{
8820:)
8817:g
8814:G
8811:,
8808:f
8805:F
8802:(
8793:G
8790:,
8787:F
8775:G
8769:,
8766:F
8751:}
8748:;
8742:.
8739:f
8736:/
8727:{
8724:)
8718:X
8715:,
8712:f
8706:T
8697:(
8685:X
8679:,
8676:T
8664:}
8661:;
8655:.
8652:f
8649:+
8640:{
8637:)
8631:X
8628:,
8625:f
8619:T
8610:(
8598:X
8592:,
8589:T
8577:}
8568:,
8565:g
8562:.
8559:f
8556:(
8550:,
8547:f
8544:.
8541:f
8538:(
8529:{
8526:)
8520:X
8517:,
8514:f
8508:G
8505:,
8502:F
8493:(
8481:X
8475:,
8472:G
8466:,
8463:F
8445:;
8442:g
8439:G
8436:;
8433:f
8430:F
8427:{
8415:G
8409:,
8406:F
8391:;
8385:T
8382:{
8370:T
8355:;
8349:T
8346:{
8334:T
8300:y
8296:x
8281:.
8272:;
8263:(
8260:a
8257:(
8248:;
8245:)
8242:f
8239:@
8236:(
8233:g
8227:a
8221:;
8218:)
8215:7
8212::
8209:y
8206:;
8203:3
8200::
8197:x
8194:(
8191:=
8185::
8179:;
8173::
8170:a
8164:;
8158:;
8143:;
8137::
8134:)
8128::
8122:(
8119:g
8113:;
8107:;
8104:x
8101:.
8095:+
8092:y
8089:.
8074:;
8068::
8065:)
8059::
8053:(
8050:f
8044:;
8038::
8035:)
8029::
8023:(
8017:=
8011:;
8005:;
7999::
7996:y
7993:,
7990:x
7984:=
7978:;
7972:=
7963:;
7843:}
7840:;
7837:0
7825:,
7822:1
7819:,
7816:0
7813:,
7807:(
7801:,
7789:(
7777:,
7774:1
7771:,
7768:0
7765:,
7759:(
7753:,
7741:(
7735:{
7723:}
7720:;
7714:*
7705:}
7696:*
7693:)
7687:+
7684:i
7681:(
7678:+
7675:a
7672:(
7669:f
7660:{
7657:)
7654:i
7648:;
7645:n
7639:i
7636:;
7633:0
7630:=
7627:i
7624:(
7618:;
7615:n
7612:/
7609:)
7606:a
7603:-
7600:b
7597:(
7594:=
7585:;
7582:0
7579:=
7570:;
7567:i
7561:{
7558:)
7555:n
7549:,
7546:b
7540:,
7537:a
7528:x
7522:(
7519:f
7513:(
7501:}
7498:;
7495:x
7492:*
7489:x
7486:*
7483:x
7477:{
7474:)
7471:x
7465:(
7456:}
7453:;
7450:x
7447:*
7444:x
7438:{
7435:)
7432:x
7426:(
7395:C
7372:)
7369:7
7366:,
7363:1
7360:#
7354:(
7345:3
7342:+
7339:i
7333:{
7330:)
7327:i
7321:(
7303:x
7297:(
7294:f
7288:(
7285:f
7279:{
7276:)
7273:x
7267:,
7264:f
7258:(
7224:}
7221:)
7215:,
7209:,
7197:{
7155:}
7152:i
7133:}
7131:x
7129:f
7098:7
7095:(
7092:g
7089:(
7083:)
7077:(
7071:=
7068:g
7062:}
7059:3
7056:+
7050:{
7047:=
7038:}
7035:}
7026:(
7023:f
7020:(
7017:f
7014:{
7008:{
6999:)
6993:(
6987:)
6978:)
6972:(
6966:@
6963::
6960:f
6957:_
6954:(
6930:)
6915:(
6906:7
6903:g
6900:(
6894:(
6882:(
6879:g
6873:(
6867:3
6864:i
6861:+
6858:(
6855:)
6852:i
6846:(
6840:(
6834:f
6831:f
6825:(
6822:)
6819:f
6813:(
6807:(
6801:x
6798:g
6795:(
6792:f
6789:(
6786:)
6783:x
6780:(
6774:(
6771:)
6768:g
6765:f
6759:(
6753:(
6735:}
6732:}
6723:7
6720:(
6717:g
6714:(
6708:)
6702:(
6696:=
6693:g
6687:{
6684:=
6672::
6666:(
6657:3
6654:+
6651:i
6648:=
6636::
6633:i
6630:(
6621:f
6615:f
6612:=
6588::
6585:f
6582:(
6573:{
6549:}
6540:7
6537:(
6534:g
6531:,
6525:(
6513:(
6507:=
6504:g
6498:{
6486:}
6483:3
6480:+
6477:i
6474:{
6467:)
6460:i
6457:(
6448:}
6442:x
6439:(
6436:f
6433:(
6430:f
6427:|
6424:x
6421:|
6415:{
6408:)
6402:(
6392:)
6385:)
6379:(
6369:f
6366:(
6339:)
6336:7
6333:(
6327:.
6324:g
6318:)
6312:(
6306:=
6303:g
6300:}
6297:3
6294:+
6291:i
6288:{
6285:)
6282:i
6279:(
6273:=
6264:}
6258:x
6255:(
6249:.
6246:f
6243:(
6237:.
6234:f
6231:{
6228:)
6225:x
6222:(
6216:)
6213:f
6210:(
6178:7
6176:(
6165:(
6152:3
6136:(
6125:(
6121:(
6103:(
6077:)
6074:7
6071:(
6068:g
6062:)
6056:(
6047:g
6044:3
6041:+
6038:i
6035:)
6032:i
6029:(
6014:x
6011:(
6008:f
6005:(
6002:f
5999:)
5996:x
5993:(
5991:\
5989:)
5986:f
5983:(
5981:\
5964:R
5955:)
5952:7
5949:(
5946:g
5940:3
5937:+
5934:i
5922:i
5919:(
5916:g
5897:g
5887:)
5884:7
5881:(
5878:g
5872:)
5866:(
5860:=
5857:g
5851:3
5848:+
5845:i
5842::
5839:i
5833:=
5812:x
5809:(
5806:f
5803:(
5800:f
5788:x
5785:(
5770:f
5767:(
5737:;
5728:7
5725:(
5707:(
5698:=
5686:;
5683:3
5680:+
5674:;
5668:=
5665:)
5659:(
5653:{
5647:=
5626:(
5617:(
5608:{
5602:;
5596:=
5593:)
5587:(
5581:{
5575:=
5566:;
5557:;
5538:;
5529:7
5526:(
5505:(
5499:=
5490:}
5487:;
5484:3
5481:+
5475:;
5469:=
5466:)
5460:(
5454:{
5445:}
5433:(
5424:(
5415:{
5409:;
5403:=
5400:)
5394:(
5388:{
5379:;
5370:;
5336:;
5321:7
5318:(
5303:(
5297:=
5291:;
5288:3
5285:+
5273::
5270:)
5261:(
5255:=
5243:(
5237:(
5225::
5222:)
5213:(
5201::
5198:)
5189:(
5183:=
5174:1
5171:=
5165:(
5146:;
5131:7
5128:(
5113:(
5107:=
5101:}
5098:;
5095:3
5092:+
5083:{
5077::
5074:)
5065:(
5056:}
5044:(
5038:(
5029:{
5023::
5020:)
5014:(
5008:)
4999:(
4990:{
4984::
4981:)
4972:(
4960:1
4957:=
4951:(
4915:7
4912:g
4909:(
4894:=
4891:g
4885:=
4876:3
4870:=
4861:)
4858:x
4855:f
4852:(
4849:f
4846:=
4843:x
4840:f
4810:7
4807:(
4804:g
4801:(
4795:)
4789:(
4783:=
4780:g
4777:;
4774:3
4771:+
4768:i
4765:)
4762:i
4756:=
4744:x
4741:(
4738:f
4735:(
4732:f
4729:)
4726:x
4720:=
4714:)
4712:f
4710:(
4704:=
4676:7
4673:(
4670:g
4667:(
4661:)
4655:(
4649:=
4646:g
4637:3
4634:+
4631:i
4625:)
4622:i
4619:(
4601:x
4598:(
4595:f
4592:(
4589:f
4583:)
4580:x
4577:(
4568:)
4565:f
4562:(
4538:}
4529:7
4526:(
4523:g
4520:(
4514:)
4505:(
4499:=
4496:g
4490:{
4478:3
4475:+
4472:i
4469:=
4466:)
4460::
4457:i
4454:(
4445:}
4442:}
4433:(
4430:f
4427:(
4424:f
4421:{
4415:{
4406:)
4400:(
4388:)
4382:(
4379::
4376:f
4373:(
4346:)
4343:7
4340:(
4337:g
4328:)
4322:(
4316:=
4313:g
4304:3
4301:+
4298:i
4295:=
4292:)
4289:i
4286:(
4259:x
4256:(
4253:f
4250:(
4247:f
4241:)
4238:x
4235:(
4226:)
4223:f
4220:(
4187:7
4184:(
4181:g
4178:(
4172:.
4160:(
4154:=
4151:g
4145:}
4142:;
4139:3
4136:+
4133:i
4127:{
4124:)
4121:i
4118:(
4109:}
4100:x
4097:(
4094:f
4091:(
4088:f
4082:{
4079:)
4076:x
4073:(
4064:{
4061:)
4058:f
4055:(
4046:;
4027:7
4024:(
4021:g
4018:(
4012:.
4000:(
3994:=
3991:g
3985:;
3982:3
3979:+
3976:i
3970:i
3967:=
3955:x
3952:(
3949:f
3946:(
3943:f
3937:x
3931:f
3928:=
3919:;
3895:}
3892:}
3883:7
3880:(
3874:.
3871:g
3868:(
3862:.
3856:.
3838:(
3832:=
3829:g
3823:{
3820:)
3811:(
3796:}
3793:;
3790:3
3787:+
3784:i
3778:{
3775:)
3772:i
3766:(
3751:}
3745:f
3742:(
3736:.
3733:f
3727:{
3724:)
3721:f
3715:(
3700:{
3691:;
3675:}
3672:}
3663:7
3660:(
3654:.
3651:g
3648:(
3642:.
3636:.
3624:(
3618:.
3612:=
3609:g
3603:;
3600:3
3597:+
3594:i
3588:i
3585:=
3573:f
3570:(
3564:.
3561:f
3555:f
3552:=
3540:,
3528:{
3525:)
3516:(
3501:{
3492:;
3458:7
3455:g
3443:g
3440:3
3428:2
3406:7
3403:g
3391:g
3385::
3370::
3346:J
3334:=
3331:g
3322:)
3319:7
3316:g
3313:(
3307:=
3289:)
3286:3
3283:+
3280:(
3277:=
3256:f
3253:.
3250:f
3247:=
3244:f
3238:)
3226:(
3220:)
3208:(
3173:}
3164:7
3161:(
3158:g
3155:(
3149:.
3143:)
3137:(
3128:g
3125:}
3122:3
3119:+
3116:i
3110:{
3104:)
3098:i
3095:(
3083:{
3071:}
3068:}
3062:x
3059:(
3056:f
3053:(
3050:f
3044:{
3038:)
3032:x
3029:(
3020:{
3014:)
3008:(
3002:)
2996:)
2990:(
2984:f
2981:(
2933:7
2930:g
2921:=
2918:g
2912:3
2906:=
2897:f
2891:f
2888:=
2885:f
2857:R
2853:Y
2849:X
2845:R
2837:R
2833:F
2829:Y
2817:F
2809:F
2805:X
2801:F
2797:X
2776:.
2773:3
2764:.
2761:R
2755:)
2752:R
2737:Y
2734:,
2728:(
2716:Y
2713:,
2707:{
2701:,
2695:(
2686:X
2683:,
2677:(
2668:)
2662:,
2659:X
2656:,
2650:(
2641:X
2638:(
2635:F
2632:,
2629:X
2626:,
2620:(
2611:)
2608:X
2599:;
2563:)
2560:7
2557:(
2554:.
2551:g
2545:.
2539:)
2533:(
2530:.
2524:=
2521:g
2515:3
2512:+
2509:i
2503:)
2500:i
2497:(
2491:=
2476:x
2473:(
2470:.
2467:f
2464:(
2461:.
2458:f
2452:)
2449:x
2446:(
2437:)
2434:f
2431:(
2425:=
2409:)
2406:7
2403:(
2400:.
2397:g
2391:.
2385:)
2379:(
2373:.
2367:=
2364:g
2358:3
2355:+
2352:i
2346:)
2343:i
2340:(
2334:=
2316:x
2313:(
2310:.
2307:f
2304:(
2301:.
2298:f
2292:)
2289:x
2286:(
2277:)
2274:f
2271:(
2232:}
2223:7
2220:(
2217:g
2214:(
2202:(
2196:=
2193:g
2187:{
2175:}
2172:;
2169:3
2166:+
2163:i
2157:{
2154:)
2151:i
2145:(
2136:}
2127:x
2124:(
2121:f
2118:(
2115:f
2109:{
2106:)
2103:x
2100:(
2094:{
2091:)
2088:f
2085:)
2079:(
2070:(
2064:)
2058:(
2034:}
2025:7
2022:(
2019:g
2016:(
2004:(
1998:=
1995:g
1989:{
1977:;
1974:3
1971:+
1968:i
1962:)
1959:i
1953:(
1950:=
1938:x
1935:(
1932:f
1929:(
1926:f
1920:)
1917:x
1911:(
1905:)
1902:f
1899:(
1896:=
1887:;
1881::
1875:.
1857:D
1848:7
1845:g
1839:(
1833:(
1818:(
1815:g
1809:(
1803:3
1800:i
1797:+
1794:(
1791:)
1788:i
1785:(
1776:(
1770:x
1767:f
1761:(
1758:f
1752:(
1749:)
1746:x
1743:(
1737:(
1734:)
1731:f
1728:(
1719:(
1695:7
1692:(
1689:g
1686:(
1674:(
1668:=
1665:g
1659:;
1656:3
1653:+
1650:i
1644:{
1641:)
1638:i
1635:(
1629:=
1614:x
1611:(
1608:f
1605:(
1602:f
1596:{
1593:)
1590:x
1587:(
1578:{
1575:)
1572:f
1569:(
1563:=
1536:7
1533:g
1530:(
1524:(
1512:(
1509:g
1503:(
1497:3
1494:i
1488:(
1479:(
1473:x
1470:f
1467:(
1464:f
1461:(
1455:(
1446:(
1428:}
1425:}
1416:7
1413:(
1410:g
1407:(
1401:.
1389:(
1383:=
1380:g
1374:{
1371:)
1362:(
1347:;
1344:3
1341:+
1338:i
1332:)
1329:i
1323:(
1308:}
1302:x
1299:(
1296:f
1293:(
1290:f
1284:x
1278:{
1275:)
1272:f
1263:,
1251:(
1239:,
1221:{
1209:;
1193:}
1190:}
1181:7
1178:(
1175:g
1172:(
1166:.
1154:(
1148:=
1145:g
1139:;
1136:3
1133:+
1130:i
1124:i
1121:=
1109:,
1094:x
1091:(
1088:f
1085:(
1082:f
1076:x
1070:f
1067:=
1055:,
1043:,
1034:,
1016:{
1013:)
1004:(
989:{
977:;
950:}
944:;
935:)
932:7
929:(
926:g
905:(
899:=
896:g
890:{
875:;
872:3
869:+
866:i
860:{
857:)
854:i
848:(
845:=
827:x
824:(
821:f
818:(
815:f
809:{
806:)
803:x
797:(
791:{
788:)
785:f
773:(
770:=
748:}
742:;
733:)
730:7
727:(
724:g
703:(
697:=
694:g
688:{
673:;
670:3
667:+
664:i
658:{
655:)
652:i
646:(
643:=
625:x
622:(
619:f
616:(
613:f
607:{
604:)
601:x
595:(
589:{
586:)
583:f
577:)
571:(
550:(
547:=
497:7
494:g
485:←
482:g
479:3
476:∘
473:+
470:←
464:2
461:⍣
458:←
442:7
439:g
436:}
433:⍵
424:{
421:←
418:g
415:}
412:3
409:+
406:⍵
403:{
400:←
394:}
391:⍵
382:{
379:←
354:f
275:C
268:f
264:f
234:3
223:)
218:2
205:1
197:(
111:(
90:)
84:(
79:)
75:(
61:.
34:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.