Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
tree.metta		tree.metta
y_comb_examples.metta		y_comb_examples.metta

README.md

Various combinator calculus experiments

Barry Jay - Tree Calculus

Calculation and reflection experiments based on the tree book.

Y-combinator examples

SKI combinators and recursion with the Y-combinator.

y_comb_examples.metta