agda/agda2lambox

ログインしてフォロー GitHub で見る

Compiling Agda's internal syntax to λ-box terms.

agda/agda2lambox は初心者に優しい？

agda/agda2lambox への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。

スター
11
フォーク
3
オープンの初心者向け issue
0
索引済み issue
13
平均マージ
9時間 11分
マージ済み PR（30日）
3
主要言語
Haskell
ライセンス
ライセンスのデータがありません
最終 GitHub push
2026年10月25日
最新の索引
2026年10月27日
コントリビューションガイドがありません
行動規範がありません
初心者向けラベル
good first issue help wanted

agda/agda2lambox にコントリビュートするには

  1. コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
  2. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
初心者向け すべて
オープン すべて

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Internal error
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2lambox#49 · コメント 1 件 ·

  • Remove custom treeless pipeline
    オープン
    • 何か問題がありますか？
    good first issue icebox

    難易度 3/5 1〜2日 初心者へのやさしさ 39/100

    agda/agda2lambox#36 · リアクション 1 件 ·

  • Consider removing the `sexpresso` dependency, or ask for it to be updated
    オープン
    • 何か問題がありますか？

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2lambox#29 · コメント 1 件 ·

  • Implement a Typed LBox typechecher?
    オープン
    • 何か問題がありますか？
    enhancement help wanted

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2lambox#24 ·

  • Laziness
    オープン
    • 何か問題がありますか？
    enhancement icebox

    難易度 5/5 1週間以上 初心者へのやさしさ 35/100

    agda/agda2lambox#12 ·

  • Prevent (or support) induction recursion
    オープン
    • 何か問題がありますか？
    bug enhancement icebox

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2lambox#10 ·

  • Cache compilation of modules
    オープン
    • 何か問題がありますか？
    enhancement icebox

    難易度 5/5 1週間以上 初心者へのやさしさ 20/100

    agda/agda2lambox#9 ·

  • Remove constructor eta-expansion
    オープン
    • 何か問題がありますか？
    enhancement

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    agda/agda2lambox#8 ·

  • Support coinduction
    オープン
    • 何か問題がありますか？
    enhancement icebox

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2lambox#7 ·

  • Support projection-like definitions
    オープン
    • 何か問題がありますか？
    bug enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2lambox#6 · コメント 1 件 ·

  • Support Nat literal patterns
    オープン
    • 何か問題がありますか？
    enhancement icebox

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    agda/agda2lambox#4 ·

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。