lambda-explorer:Lambda演算的教程REPL
需积分: 5 134 浏览量
2021-04-29
00:02:35
上传
评论
收藏 124KB ZIP 举报
lambda-explorer-master.zip （57个子文件） 
lambda-explorer-master 
.travis.yml 38B .babelrc 113B index.js 0B package.json 1KB LICENSE 1KB package-lock.json 285KB src lambdaActor astToMetadata.js 1KB actor.js 510B timeoutWatcher.js 749B worker.js 562B executionContext.js 4KB errors.js 159B index.jsx 322B game problems index.js 38KB readme.md 3KB inlineDefinitions definitions.js 2KB InlineDefinition.jsx 509B components App index.jsx 3KB ProblemPrompter.jsx 888B Repl Error.jsx 2KB Info.jsx 100B index.jsx 6KB Computation.jsx 1KB LambdaMetadata.jsx 3KB Assignment.jsx 549B LambdaInput index.jsx 1KB lib lambda renderer.ts 896B cannonize.ts 1KB __tests__ cannonize.spec.js 1KB normalize.spec.js 2KB parser.spec.js 2KB util.spec.js 1KB bReduction.spec.js 6KB generated_suite.spec.js 1KB generated_suite.data.js 4KB lexer.spec.js 1KB errors.ts 489B churchPrimitives.ts 2KB lexer.ts 2KB parser.ts 4KB types.ts 1KB equality.ts 841B index.ts 898B operations.ts 4KB normalize.ts 2KB util.ts 2KB util persist.js 604B testhelper.js 36B generateGoldens.js 228B tsconfig.json 50B .gitignore 46B webpack.config.js 550B public 
index.html 2KB
lambda.png 3KB style.css 5KB README.md 614B .mocha.opts 0B资源评论
