BekaValentine/GenericEvaluators
A technique for implementing evaluators of various styles, independent of any particular lambda calculus.
正在读取项目信息…
A technique for implementing evaluators of various styles, independent of any particular lambda calculus.