Naming: Rename Common lean to something else. (What ??)
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
- issue の種類
- リファクタリング
- 明瞭さ
- 説明が足りない
- 活発さ
- 停滞
- 領域
- compilers
調査の方向性
まず Common.lean を読み、どの定義が BEq α または BEq β に固有で、どの定義が本当に汎用的なのかを確認します。残りのスコープを反映する置換名を決定します。名前の変更について合意され、issue に最終的に記載されるファイル参照を一貫して更新できる状態になれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Why?
After a while we'll notice that everything that is truly generic here will be removed from Common.lean to other repositories, leaving only stuff that's either BEq \alpha or BEq \beta here.
What?
- Perhaps we should rename Common.lean (eventually) reflecting this.
- 主要言語
- Lean
- スター
- 37
- フォーク
- 8
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
argumentcomputer/Megaparsec.lean のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
Bump Straume versionオープン
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
argumentcomputer/Megaparsec.lean#55 · コメント 3 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 35/100
-
good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 52/100
argumentcomputer/Megaparsec.lean#26 · コメント 1 件 ·
argumentcomputer/Megaparsec.lean の issue をすべて見る
似ている issue
-
clang:frontend code-cleanup HLSL
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
llvm/llvm-project#235100 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
paritytech/polkavm#442 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
objectionary/phino#2075 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
rescript-lang/rescript#8996 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
メンテナーはふだん 1 日以内に返信