Optionally forbid particular predicates per task
Maintainer thường phản hồi trong vòng 1 ngày
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 55/100
Hướng nghiên cứu
Bắt đầu bằng cách xác định cấu hình của tác vụ và mã kiểm tra các vị từ của sinh viên; issue không nêu tên tệp, test hay điểm vào nào. Theo dõi cách feedback của tác vụ được tạo ra, sau đó xác minh rằng một vị từ bị cấm đã được cấu hình sẽ bị từ chối với thông báo được yêu cầu, trong khi các vị từ được phép vẫn không bị ảnh hưởng.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
For example, if students use number/1 in a Peano task, they have fundamentally misunderstood the whole point of "symbolic numbers" like s(s(null)).
To address that, the task configuration could specify a list of forbidden predicates, so that in such a case the feedback "You cannot use number in this task" would be given.
- Ngôn ngữ chính
- Haskell
- Star
- 0
- Fork
- 1
- Merge trung bình
- 1 ngày 13 giờ
- Pull request đã merge (30 ngày)
- 18
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Có mẫu pull request
- Không có hướng dẫn đóng góp
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 fmidue/prolog-programming-task
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 85/100
fmidue/prolog-programming-task#55 · 2 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 53/100
fmidue/prolog-programming-task#59 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
store parsed definitions in `TaskInstance`Có thể đã có người làm @nimec01 đã nhận hôm nay. Đang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
fmidue/prolog-programming-task#57 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
clone detection settingsĐang mở
Độ khó 3/5 Nửa ngày Mức phù hợp với người mới 55/100
fmidue/prolog-programming-task#46 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
fmidue/prolog-programming-task#42 ·
Maintainer thường phản hồi trong vòng 1 ngày
Tất cả issue của fmidue/prolog-programming-task
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100
ndmitchell/hlint#1710 ·
-
A `--symbolic` entry binding `𝑛3` and `!n3` passes the load check, since `once` compares spellings, and fails mid-run with a `user error`Có thể đã có người làm @sherenkov đã nhận hôm nay. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 66/100
objectionary/phino#1929 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
CJK text is italicizedCó thể đã có người làm @daniel-gregg đã nhận 1 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
Maintainer thường phản hồi trong vòng 4 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100
simplex-chat/simplex-chat#7714 · 1 reaction ·
Maintainer thường phản hồi trong vòng 1 ngày