History

for article: Algebraic Logic Functional programming language