/Я language (β)/Tutorials/

• ⋅ Lambda calculus interpreter #1: recursive definition of AST
• ⋅ Lambda calculus interpreter #2: traversing over variables
• ⋅ Lambda calculus interpreter #3: a feast of functors