Skip to content

No labels!

There aren’t any labels for this repository quite yet.

30 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
auto-update-lean
auto-update-lean
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
update
update
PRに更新を与える
Zulip
Zulip
24
オプション
オプション
オプション（set_optionの設定項目）
8
コード例
コード例
94
タクティク
タクティク
49
データ型
データ型
34
バグ・誤り・不備
バグ・誤り・不備
19
メタプログラミング
メタプログラミング
48
メモ
メモ
解決済みにすることを目指さず、残しておくもの
120
修飾子
修飾子
3
型クラス
型クラス
37
宣言的コマンド
宣言的コマンド
48
対話的コマンド
対話的コマンド
13
属性
属性
14
慣習
慣習
12
旧LeanbyExampleからの移行
旧LeanbyExampleからの移行
1
本文
本文
15
構文・パーサ
構文・パーサ
27
準備完了
準備完了
執筆のための調査が終わっていて、執筆できる状態
12
演習問題
演習問題
14
研究開発
研究開発
調査・開発の対象
4
要調査
要調査
さらなる調査を要する
112
資料・教材
資料・教材
情報を得られそうな資料や論文、文献など
18
開発
開発
9
関数
関数
function
項
項
term
4