History

for article: Binary combinatory logic