-
Notifications
You must be signed in to change notification settings - Fork 14
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#2574 In lean-ja/lean-by-example;
プロパティベーステストを調べる
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2573 In lean-ja/lean-by-example;参照カウントが1を超えており破壊的に更新できていない箇所を指摘するリンター
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2572 In lean-ja/lean-by-example;列挙型に対して、asList を自動で生成する
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2571 In lean-ja/lean-by-example;Repr インスタンスの自動derivingをやめて、deriving Repr を提案する code action を出す
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2570 In lean-ja/lean-by-example;機能リクエスト: 引数に対するドキュメントコメント
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2569 In lean-ja/lean-by-example;- Status: Open.#2567 In lean-ja/lean-by-example;
- Status: Open.#2565 In lean-ja/lean-by-example;
- Status: Open.#2564 In lean-ja/lean-by-example;
- Status: Open.#2563 In lean-ja/lean-by-example;
- Status: Open.#2562 In lean-ja/lean-by-example;
自然数の減算を検知する静的解析リンター
付録アイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアEXTRA/ 配下にあるファイルを付録というが、ここに追加したいアイデアStatus: Open.#2561 In lean-ja/lean-by-example;