• 9
• 23
• 9

hinus/lambda_interp

interpreter for simple typed lambda calculus. 为了学习类型系统，手写了一个parser.