search

lean-ja / lean-by-example

コード例で学ぶ Lean 言語
https://lean-ja.github.io/lean-by-example/
MIT License
39 stars 7 forks source link

issue_template を設定する #326

Closed Seasawher closed 4 weeks ago

Seasawher commented 3 months ago

コントリビュータ向けであると同時に自分向けでもある

issueが100近く常駐するようになり、多過ぎて見づらくなってきた。カテゴリごとに統一した書式を用意すればなんぼかマシになるかもしれない。

Seasawher commented 3 months ago

カテゴリ案

  1. 新規項目

見出しに使う一言説明 本文（すべての説明に対してそれを実行可能なコード例で検証。エラーは消す） 分類（タクティク、構文、対話的コマンド、属性、型クラス等）

  1. 追記の提案または誤りの指摘

どのページにどういう変更をすべきか

  1. 開発に関して

「その他」というカテゴリは不用。

Seasawher commented 1 month ago

さすがにissueが多すぎる なんとかすべき