blob: 7014ad13933865513c8b7a9212bf5f4cc8c1c317 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
#lang racket
(provide (all-defined-out))
;; Encodings of various combinators in s-exps
;; https://www.angelfire.com/tx4/cus/combinator/birds.html
;; https://wiki.xxiivv.com/site/ornithodex.html
;; Bluebird
(define B '(λ a (λ b (λ c (a (b c))))))
;; Blackbird
(define B1 '(λ a (λ b (λ c (λ d (a ((b c) d)))))))
;; Bunting
(define B2 '(λ a (λ b (λ c (λ d (λ e (a (((b c) d) e))))))))
;; Becard
(define B3 '(λ a (λ b (λ c (λ d (a (b (c d))))))))
;; Cardinal
(define C '(λ a (λ b (λ c ((a c) b)))))
;; Dove
(define D '(λ a (λ b (λ c (λ d ((a b) (c d)))))))
;; Dickcissel
(define D1 '(λ a (λ b (λ c (λ d (λ e (((a b) c) (d e))))))))
;; Dovekies
(define D2 '(λ a (λ b (λ c (λ d (λ e ((a (b c)) (d e))))))))
;; Eagle
(define E '(λ a (λ b (λ c (λ d (λ e ((a b) ((c d) e))))))))
;; Bald Eagle
(define Ê '(λ a (λ b (λ c (λ d (λ e (λ f (λ g ((a ((b c) d)) ((e f) g))))))))))
;; Finch
(define F '(λ a (λ b (λ c ((c b) a)))))
;; Goldfinch
(define G '(λ a (λ b (λ c (λ d ((a d) (b c)))))))
;; Hummingbird
(define H '(λ a (λ b (λ c (((a b) c) b)))))
;; Idiot Bird (Identity)
(define I '(λ a a))
;; Jay
(define J '(λ a (λ b (λ c (λ d ((a b) ((a d) c)))))))
;; Kestrel (True)
(define K '(λ a (λ b a)))
;; Kite (False)
(define Ki '(λ a (λ b b)))
;; Lark
(define L '(λ a (λ b (a (b b)))))
;; Nightingale
(define N '(λ a (λ b (λ c (λ d ((a (b d)) (c d)))))))
;; Mockingbird
(define M '(λ a (a a)))
;; Double Mockingbird
(define M2 '(λ a (λ b ((a b) (a b)))))
;; Owl
(define O '(λ a (λ b (b (a b)))))
;; Queer Bird
(define Q '(λ a (λ b (λ c (b (a c))))))
;; Quixotic Bird
(define Q1 '(λ a (λ b (λ c (a (c b))))))
;; Quizzical Bird
(define Q2 '(λ a (λ b (λ c (b (c a))))))
;; Quirky Bird
(define Q3 '(λ a (λ b (λ c (c (a b))))))
;; Quacky Bird
(define Q4 '(λ a (λ b (λ c (c (b a))))))
;; Robin
(define R '(λ a (λ b (λ c ((b c) a)))))
;; Starling
(define S '(λ a (λ b (λ c ((a c) (b c))))))
;; Thrush
(define T '(λ a (λ b (b a))))
;; Turing
(define U '(λ a (λ b (b ((a a) b)))))
;; Vireo (aka Pairing)
(define V '(λ a (λ b (λ c ((c a) b)))))
;; Warbler
(define W '(λ a (λ b ((a b) b))))
;; Converse Warbler
(define W1 '(λ a (λ b ((b a) a))))
;; Why Bird (aka Sage Bird)
(define Y '(λ a (a (λ a todo))))
;; Idiot Bird Once Removed
(define I* '(λ a (λ b (a b))))
;; Warbler Once Removed
(define W* '(λ a (λ b (λ c (((a b) c) c)))))
;; Cardinal Once Removed
(define C* '(λ a (λ b (λ c (λ d (((a b) d) c))))))
;; Robin Once Removed
(define R* '(λ a (λ b (λ c (λ d (((a c) d) b))))))
;; Finch Once Removed
(define F* '(λ a (λ b (λ c (λ d (((a d) c) b))))))
;; Vireo Once Removed
(define V* '(λ a (λ b (λ c (λ d (((a c) b) d))))))
;; Warbler Twice Removed
(define W** '(λ a (λ b (λ c (λ d ((((a b) c) d) d))))))
;; Cardinal Twice Removed
(define C** '(λ a (λ b (λ c (λ d (λ e ((((a b) c) e) d)))))))
;; Robin Twice Removed
(define R** '(λ a (λ b (λ c (λ d (λ e ((((a b) d) e) c)))))))
;; Finch Twice Removed
(define F** '(λ a (λ b (λ c (λ d (λ e ((((a b) e) d) c)))))))
;; Vireo Twice Removed
(define V** '(λ a (λ b (λ c (λ d (λ e ((((a b) e) c) d)))))))
;; Konstant Mocker
(define KM '(λ a (λ b (b b))))
;; Crossed Konstant Mocker
(define CKM '(λ a (λ b (a a))))
|
