evinism/lambda-explorer

在 GitHub 查看

Tutorial / REPL for the lambda calculus

星标: 69
派生: 10
开放的新手 issue: 0
已索引 issue: 26

主要语言: JavaScript
许可证: MIT
最近 GitHub push: 2026年3月20日
最近索引: 2026年9月15日
贡献指南: 没有贡献指南
行为准则: 没有行为准则
新手标签: 没有已索引的新手标签
PR 合并指标: 30 天内没有已合并 PR

适合新手全部

未关闭全部

目前已索引 26 个未关闭的 Issue

Consider swapping input/output colors? 未关闭

难度 2/5 1-3 小时新手友好度 35/100

evinism/lambda-explorer#129 · 1 个 reaction · 2024年5月19日创建
A few correct examples that the level doesn't deem correct 未关闭

难度 3/5 1-2 天新手友好度 35/100

evinism/lambda-explorer#128 · 2024年5月18日创建
Partial application 未关闭

难度 4/5 3-5 天新手友好度 35/100

evinism/lambda-explorer#126 · 1 条评论 · 2023年12月4日创建
Some typos 未关闭

难度 1/5 1 小时以内新手友好度 45/100

evinism/lambda-explorer#119 · 2022年12月5日创建
Expand expands below the viewport 未关闭

难度 3/5 1-2 天新手友好度 35/100

evinism/lambda-explorer#85 · 2019年6月11日创建
bad response 未关闭

难度 3/5 1-2 天新手友好度 35/100

evinism/lambda-explorer#74 · 2 条评论 · 2019年2月14日创建
Swap over to parser combinators for ease of syntax additions 未关闭

难度 5/5 一周以上新手友好度 20/100

evinism/lambda-explorer#72 · 2019年1月27日创建
Possibly add in syntax for substitutions 未关闭

难度 5/5 一周以上新手友好度 30/100

evinism/lambda-explorer#70 · 2019年1月13日创建
RAINBOW DARK MODE 未关闭

难度 5/5 一周以上新手友好度 15/100

evinism/lambda-explorer#67 · 1 个 reaction · 2019年1月10日创建
Restyle and relayout the back/forward arrows 未关闭

难度 2/5 1-3 小时新手友好度 45/100

evinism/lambda-explorer#64 · 2019年1月10日创建
General feedback 未关闭

难度 5/5 一周以上新手友好度 15/100

evinism/lambda-explorer#62 · 6 条评论 · 2019年1月7日创建
allow backtracing to earlier definitions, or in-context definitions 未关闭

enhancement

难度 5/5 一周以上新手友好度 20/100

evinism/lambda-explorer#58 · 2018年9月5日创建
Improve error messaging 未关闭

难度 5/5 一周以上新手友好度 25/100

evinism/lambda-explorer#56 · 2017年10月19日创建
add in helpful graphics 未关闭

teaching

难度 5/5 一周以上新手友好度 15/100

evinism/lambda-explorer#49 · 1 条评论 · 2017年10月1日创建
Add in tutorial on y-combinator 未关闭

teaching

难度 3/5 1-2 天新手友好度 20/100

evinism/lambda-explorer#46 · 2 个 reaction · 2017年9月5日创建
The tool does not recognize `λn. n` as eta-equivalent to the Church 1 (`λfn. f n`). 未关闭

bug enhancement

难度 3/5 1-2 天新手友好度 45/100

evinism/lambda-explorer#40 · 8 条评论 · 2017年6月7日创建
Let user reattempt solving an arbitrary step in the tutorial 未关闭

enhancement

难度 3/5 1-2 天新手友好度 35/100

evinism/lambda-explorer#39 · 3 条评论 · 2017年6月7日创建
Figure out some way of having predefined or persistent variables 未关闭

enhancement

难度 5/5 一周以上新手友好度 35/100

evinism/lambda-explorer#34 · 1 个 reaction · 2017年6月4日创建
make matching paren indicator for the input box 未关闭

enhancement

难度 3/5 1-2 天新手友好度 42/100

evinism/lambda-explorer#31 · 1 个 reaction · 2017年6月3日创建
Code cleanup 未关闭

cleanup

难度 5/5 一周以上新手友好度 15/100

evinism/lambda-explorer#29 · 2017年6月2日创建
Design/implement better challenges interface 未关闭

enhancement teaching

难度 5/5 一周以上新手友好度 20/100

evinism/lambda-explorer#28 · 2017年6月1日创建
move execution to webworkers 未关闭

enhancement

难度 5/5 一周以上新手友好度 35/100

evinism/lambda-explorer#21 · 2 条评论 · 2017年5月24日创建
Simplify the markup in the repl 未关闭

cleanup

难度 4/5 3-5 天新手友好度 25/100

evinism/lambda-explorer#20 · 2017年5月24日创建
Create a library of recognized functions 未关闭

enhancement

难度 5/5 一周以上新手友好度 35/100

evinism/lambda-explorer#17 · 2017年5月20日创建
Make a better interface for informing users of syntax errors inline 未关闭

enhancement

难度 5/5 一周以上新手友好度 25/100

evinism/lambda-explorer#15 · 2017年5月18日创建
move to more performant internal representation 未关闭

performance

难度 5/5 一周以上新手友好度 25/100

evinism/lambda-explorer#7 · 2017年5月2日创建

evinism/lambda-explorer

把新 issue 发到你的邮箱