Watch bibleqrc/lambda_interp forked from hinus/lambda_interp

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