learning bird combinators

bird_combinators.txt

Bluebird           : B  : \abc.a(bc)             : S(KS)K               :
Blackbird          : B1 : \abcd.a(bcd)           : BBB                  :
Bunting            : B2 : \abcde.a(bcde)         : B(BBB)B              : B B1 B
Becard             : B3 : \abcd.a(b(cd))         : B(BB)B               : BDB
Cardinal           : C  : \abc.acb               : S(BBS)(KK)           :
Dove               : D  : \abcd.ab(cd)           : BB                   :
Dickcissel         : D1 : \abcde.abc(de)         : B(BB)                : BD
Dovekies           : D2 : \abcde.a(bc)(de)       : BB(BB)               : DD
Eagle              : E  : \abcde.ab(cde)         : B(BBB)               : B B1
Bald Eagle         : E^ : \abcdefg.a(bcd)(efg)   : B(BBB)(B(BBB))       : EE
Finch              : F  : \abc.cba               : ETTET                : 
Goldfinch          : G  : \abcd.ad(bc)           : BBC                  : DC
Hummingbird        : H  : \abc.abcb              : BW(BC)               : BWC*
Idiot              : I  : \a.a                   : SKK                  : 
Jay                : J  : \abcd.ab(adc)          : B(BC)(W(BC(B(BBB)))) : C**(W(C*E))
Kestral-(True)     : K  : \ab.a                  : K                    :
Lark               : L  : \ab.a(bb)              : CBM                  : QM
Mockingbird        : M  : \a.aa                  : SII                  :
Double Mockingbird : M2 : \ab.ab(ab)             : BM                   :
Owl                : O  : \ab.b(ab)              : SI                   :
Queer Bird         : Q  : \abc.b(ac)             : CB                   :
Quixotix bird      : Q1 : \abc.a(cb)             : BCB                  : C*B
Quizzical Bird     : Q2 : \abc.b(ca)             : C(BCB)               : C Q1
Quirky Bird        : Q3 : \abc.c(ab)             : BT                   :
Quacky Bird        : Q4 : \abc.c(ba)             : F*B                  :
Robin              : R  : \abc.bca               : BBT                  : DT
Starling           : S  : \abc.ac(bc)            : S                    : S
Thrush             : T  : \ab.ba                 : CI                   :
Turing             : U  : \ab.b(aab)             : LO                   :
Vireo-(pairing)    : V  : \abc.cab               : BCT                  : C*T
Warbler            : W  : \ab.abb                : C(BMR)               :
Converse Warbler   : W1 : \ab.baa                : CW                   :
Why Bird(sage bird): Y  : \a.a(\x.a(xx)(\x.a(xx) : SLL                  :
ID OnceR           : I* : \ab.ab                 : S(SK)                :
Warbler OnceR      : W* : \abc.abcc              : BW                   :
Cardinal OnceR     : C* : \abcd.abdc             : BC                   :
Robin OnceR        : R* : \abcd.acdb             : C*C*                 :
Finch OnceR        : F* : \abcd.adcb             : BC*R*                : C**R*
Vireo OnceR        : V* : \abcd.acbd             : C*F*                 :
Id TwiceR          : I**: \abc.abc               :                      :
Warbler TwiceR     : W**: \abcd.abcdd            : BW*                  :
Cardinal TwiceR    : C**: \abcde.abced           : BC*                  :
Robin TwiceR       : R**: \abcde.abdec           : BR*                  :
Finch TwiceR       : F**: \abcde.abedc           : BF*                  :
Vireo TwiceR       : V**: \abcde.abecd           : BV*                  :
Kite-(False)       : KI : \ab.b                  : KI                   :
Omega              : OMG: \                      : MM                   :
Konstant Mocker    : KM : \ab.bb                 : KM                   :
Theata             :Thta: \                      : YO