/Я 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
• ⋅ Lambda calculus interpreter #4: tracing variables
• ⋅ Wolf, goat and cabbage solver #1: stay hungry