Binary Lambda Calculus in Python in Bytes
Play Hole
1st in Python
and
5th overall.
Last tested .
Runtime of .
| Bytes
| Chars
| Submitted
|
| 276
| 276
|
|
| 277
| 277
|
|
| 279
| 279
|
|
| 283
| 283
|
|
| 285
| 285
|
|
| 289
| 289
|
|
| 291
| 291
|
|
| 293
| 293
|
|
| 294
| 294
|
|
| 297
| 297
|
|
| 299
| 299
|
|
| 303
| 303
|
|
| 304
| 304
|
|
| 308
| 308
|
|
| 314
| 314
|
|
| 321
| 321
|
|
| 323
| 323
|
|
| 325
| 325
|
|
| 334
| 334
|
|
| 336
| 336
|
|
| 337
| 337
|
|
| 338
| 338
|
|
| 350
| 350
|
|
| 352
| 352
|
|
| 354
| 354
|
|
| 356
| 356
|
|
| 358
| 358
|
|
| 362
| 362
|
|
| 364
| 364
|
|
| 366
| 366
|
|
| 368
| 368
|
|
| 370
| 370
|
|
| 372
| 372
|
|
| 376
| 376
|
|
| 386
| 386
|
|
| 403
| 403
|
|
| 407
| 407
|
|
| 415
| 415
|
|
| 416
| 416
|
|
| 419
| 419
|
|
| 460
| 460
|
|
| 498
| 498
|
|
| 528
| 528
|
|
| 544
| 544
|
|
| 554
| 554
|
|
| 557
| 557
|
|
| 560
| 560
|
|
| 561
| 561
|
|
| 563
| 563
|
|
| 566
| 566
|
|
| 569
| 569
|
|
| 570
| 570
|
|
| 571
| 571
|
|
| 576
| 576
|
|
| 577
| 577
|
|
| 578
| 578
|
|
| 579
| 579
|
|
| 587
| 587
|
|
| 588
| 588
|
|
| 595
| 595
|
|
| 597
| 597
|
|
| 639
| 639
|
|
| 642
| 642
|
|
| 645
| 645
|
|
| 648
| 648
|
|
| 651
| 651
|
|
| 652
| 652
|
|
| 654
| 654
|
|
| 655
| 655
|
|
| 656
| 656
|
|
| 657
| 657
|
|
| 666
| 666
|
|
| 667
| 667
|
|
| 668
| 668
|
|
| 670
| 670
|
|
| 671
| 671
|
|
| 672
| 672
|
|
| 673
| 673
|
|
| 677
| 677
|
|
| 679
| 679
|
|
| 686
| 686
|
|
| 694
| 694
|
|
| 695
| 695
|
|
| 697
| 697
|
|
| 698
| 698
|
|
| 699
| 699
|
|
| 728
| 728
|
|
| 744
| 744
|
|
| 803
| 803
|
|
| 804
| 804
|
|
| 810
| 810
|
|
| 817
| 817
|
|
| 824
| 824
|
|
| 831
| 831
|
|
| 834
| 834
|
|
| 836
| 836
|
|
| 840
| 840
|
|
| 844
| 844
|
|
| 846
| 846
|
|
| 849
| 849
|
|
| 851
| 851
|
|
| 854
| 854
|
|
| 860
| 860
|
|
| 866
| 866
|
|
| 873
| 873
|
|
| 877
| 877
|
|
| 889
| 889
|
|
| 919
| 919
|
|
| 924
| 924
|
|
| 926
| 926
|
|
| 928
| 928
|
|
| 931
| 931
|
|
| 939
| 939
|
|
| 960
| 960
|
|
| 961
| 961
|
|
| 963
| 963
|
|
| 965
| 965
|
|
| 967
| 967
|
|
| 1,002
| 1,002
|
|
| 1,003
| 1,003
|
|
| 1,019
| 1,019
|
|
| 1,075
| 1,075
|
|
| 1,095
| 1,095
|
|
| 1,112
| 1,112
|
|
| 1,116
| 1,116
|
|
| 1,176
| 1,176
|
|
| 1,196
| 1,196
|
|
| 1,608
| 1,607
|
|
| 2,705
| 2,673
|
|