agda/agda2lambox

Đăng nhập để theo dõi Xem trên GitHub

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

agda/agda2lambox có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới agda/agda2lambox để nói chúng được merge thường xuyên đến đâu. Hiện chưa có issue nào phù hợp với người mới đang mở; danh sách bên dưới là các issue khác chúng tôi có của kho này.

Star
11
Fork
3
Issue cho người mới đang mở
0
Issue đã lập chỉ mục
13
Merge trung bình
9 giờ 11 phút
Pull request đã merge (30 ngày)
3
Ngôn ngữ chính
Haskell
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
25/10/2026
Lập chỉ mục gần nhất
27/10/2026
Không có hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
good first issue help wanted

Cách đóng góp cho agda/agda2lambox

  1. Dự án không có hướng dẫn đóng góp, vì vậy hãy bắt đầu từ README và vài pull request vừa được merge để xem thay đổi được đề xuất thế nào.
  2. Theo dõi kho này để biết khi có issue mới phù hợp với người mới, hoặc xem các issue khác bên dưới.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • Internal error
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    agda/agda2lambox#49 · 1 bình luận ·

  • Remove custom treeless pipeline
    Đang mở
    • Có gì không ổn?
    good first issue icebox

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 39/100

    agda/agda2lambox#36 · 1 reaction ·

  • Consider removing the `sexpresso` dependency, or ask for it to be updated
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    agda/agda2lambox#29 · 1 bình luận ·

  • Implement a Typed LBox typechecher?
    Đang mở
    • Có gì không ổn?
    enhancement help wanted

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    agda/agda2lambox#24 ·

  • Laziness
    Đang mở
    • Có gì không ổn?
    enhancement icebox

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    agda/agda2lambox#12 ·

  • Prevent (or support) induction recursion
    Đang mở
    • Có gì không ổn?
    bug enhancement icebox

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    agda/agda2lambox#10 ·

  • Cache compilation of modules
    Đang mở
    • Có gì không ổn?
    enhancement icebox

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    agda/agda2lambox#9 ·

  • Remove constructor eta-expansion
    Đang mở
    • Có gì không ổn?
    enhancement

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    agda/agda2lambox#8 ·

  • Support coinduction
    Đang mở
    • Có gì không ổn?
    enhancement icebox

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    agda/agda2lambox#7 ·

  • Support projection-like definitions
    Đang mở
    • Có gì không ổn?
    bug enhancement

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    agda/agda2lambox#6 · 1 bình luận ·

  • Support Nat literal patterns
    Đang mở
    • Có gì không ổn?
    enhancement icebox

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    agda/agda2lambox#4 ·

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.