Optionally forbid particular predicates per task
まだ誰も着手していません。
評価
調査の方向性
まず、タスクの設定と学生の述語を検証するコードを見つけます。issue ではファイル、テスト、エントリポイントは指定されていません。タスクのフィードバックがどのように生成されるかを追跡し、設定された禁止述語が要求されたメッセージとともに拒否される一方で、許可された述語には影響がないことを確認します。
索引モデルが issue の本文から書いたものです。
説明
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.
- 主要言語
- Haskell
- スター
- 0
- フォーク
- 1
- 平均マージ
- 9時間 14分
- マージ済み PR（30日）
- 3
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
fmidue/prolog-programming-task のほかの issue
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
fmidue/prolog-programming-task#37 · リアクション 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
fmidue/prolog-programming-task#36 · コメント 4 件 ·
-
難易度 3/5 1〜2日 初心者へのやさしさ 52/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
fmidue/prolog-programming-task の issue をすべて見る
似ている issue
-
typst-0.12 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
commercialhaskell/stackage#8127 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
input-output-hk/haskell.nix#2573 ·
-
docs
難易度 1/5 1時間未満 初心者へのやさしさ 85/100
-
needs triage type: bug
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100