agda/agda2lambox
Compiling Agda's internal syntax to λ-box terms.
agda/agda2lambox 对新手友好吗？
近期外部贡献者向 agda/agda2lambox 提交的 PR 还不够多，暂时无法判断它们被合并的比例。 目前没有开放的新手友好 issue，下方列出了我们收录的该仓库的其他 issue。
- 星标
- 11
- 派生
- 3
- 开放的新手 issue
- 0
- 已索引 issue
- 13
- 平均合并
- 9 小时 11 分钟
- 30 天内合并 PR
- 3
- 主要语言
- Haskell
- 许可证
- 没有许可证数据
- 最近 GitHub push
- 2026年10月25日
- 最近索引
- 2026年10月27日
- 贡献指南
- 没有贡献指南
- 行为准则
- 没有行为准则
- 新手标签
- good first issue help wanted
如何为 agda/agda2lambox 做贡献
- 这个项目没有贡献指南，可以先读 README，再看几个最近合并的 PR，了解改动是怎么提交的。
- 关注这个仓库，有新的新手友好 issue 时就能知道；也可以看看下方的其他 issue。
可能已有人在做的 issue 排在最后。 全部按时间排序
-
Internal error未关闭
难度 4/5 3-5 天 新手友好度 35/100
agda/agda2lambox#49 · 1 条评论 ·
-
good first issue icebox
难度 3/5 1-2 天 新手友好度 39/100
agda/agda2lambox#36 · 1 个 reaction ·
-
难度 4/5 3-5 天 新手友好度 35/100
agda/agda2lambox#29 · 1 条评论 ·
-
enhancement help wanted
难度 5/5 一周以上 新手友好度 25/100
agda/agda2lambox#24 ·
-
Laziness未关闭enhancement icebox
难度 5/5 一周以上 新手友好度 35/100
agda/agda2lambox#12 ·
-
bug enhancement icebox
难度 5/5 一周以上 新手友好度 20/100
agda/agda2lambox#10 ·
-
enhancement icebox
难度 5/5 一周以上 新手友好度 20/100
agda/agda2lambox#9 ·
-
enhancement
难度 4/5 3-5 天 新手友好度 35/100
agda/agda2lambox#8 ·
-
enhancement icebox
难度 5/5 一周以上 新手友好度 25/100
agda/agda2lambox#7 ·
-
bug enhancement
难度 5/5 一周以上 新手友好度 25/100
agda/agda2lambox#6 · 1 条评论 ·
-
enhancement icebox
难度 5/5 一周以上 新手友好度 25/100
agda/agda2lambox#4 ·