birdcall

birdcall
========
A library for the various lettered combinators.

This library supports experimentation of programming with basic combinatory
combinators. The full list is found below

combinators
-----------

====== ==================== ==============
letter bird alias implementation
====== ==================== ==============
B Bluebird λabc.a(bc)
B1 Blackbird λabcd.a(bcd)
B2 Bunting λabcde.a(bcde)
B3 Becard λabcd.a(b(cd))
C Cardinal λabc.acb
D Dove λabcd.ab(cd)
D1 Dickcissel λabcde.abc(de)
D2 Dovekies λabcde.a(bc)(de)
E Eagle λabcde.ab(cde)
Ê Bald Eagle λabcdefg.a(bcd)(efg)
F Finch λabc.cba
G Goldfinch λabcd.ad(bc)
H Hummingbird λabc.abcb
I Identity Bird λa.a
J Jay λabcd.ab(adc)
K Kestrel (True) λab.a
L Lark λab.a(bb)
M Mockingbird λa.aa
M2 Double Mockingbird λab.ab(ab)
O Owl λab.b(ab)
Q Queer Bird λabc.b(ac)
Q1 Quixotic Bird λabc.a(cb)
Q2 Quizzical Bird λabc.b(ca)
Q3 Quirky Bird λabc.c(ab)
Q4 Quacky Bird λabc.c(ba)
R Robin λabc.bca
S Starling λabc.ac(bc)
T Thrush λab.ba
U Turing λab.b(aab)
V Vireo λabc.cab
W Warbler λab.abb
W1 Converse Warbler λab.baa
Y Why Bird λa.a(la)
I* Identity Bird 1R λab.ab
W* Warbler 1R λabc.abcc
C* Cardinal 1R λabcd.abdc
R* Robin 1R λabcd.acdb
F* Finch 1R λabcd.adcb
V* Vireo 1R λabcd.acbd
I** Identity Bird 2R λabc.abc
W** Warbler 2R λabcd.abcdd
C** Cardinal 2R λabcde.abced
R** Robin 2R λabcde.abdec
F** Finch 2R λabcde.abedc
V** Vireo 2R λabcde.abecd
KI Kite λab.b
KM Konstant Mocker λab.bb
CKM Crossed K Mocker λab.aa
====== ==================== ==============

\* = once removed

\** = twice removed

Adapted from http://www.angelfire.com/tx4/cus/combinator/birds.html.