Documentation: Update README to match the current implementation
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức phù hợp với người mới
- 35/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Khá rõ ràng
- Mức độ hoạt động
- Đình trệ
- Lĩnh vực
- documentation
Hướng nghiên cứu
Bắt đầu bằng cách đọc README và so sánh các ví dụ char_simple và string_simple trong đó với phần triển khai main hiện tại. Cập nhật mã trong README để mã hoạt động với main mới nhất, sau đó chỉnh sửa phần bài tập cho người đọc; hoàn tất có nghĩa là các ví dụ đã được cập nhật và có thể sử dụng.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Why?
Currently it refers to char_simple and string_simple in many places, but they were deprecated.
What?
- Rewrite the code from README and make sure that it works with the latest
main. - Change the excercise for the reader section.
- Ngôn ngữ chính
- Lean
- Star
- 37
- Fork
- 8
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của argumentcomputer/Megaparsec.lean
-
Can you update the project?Đang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Bump Straume versionĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
argumentcomputer/Megaparsec.lean#55 · 3 bình luận ·
-
Performance: Profile Megaparsec to see where the bottlenecks are leading to poor performanceĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
good first issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 52/100
argumentcomputer/Megaparsec.lean#26 · 1 bình luận ·
Tất cả issue của argumentcomputer/Megaparsec.lean
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 77/100
TomerAberbach/profiler-md#733 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
effort:high model:sonnet phase:3 type:docs
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100
aws-samples/sample-per-model-bedrock#295 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
help wanted stage/040-covered-by-pr
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 68/100
hivecommons/hive#12777 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 69/100
zephyrproject-rtos/reqmgmt#177 ·