Propietario
lean-ja
1 repositorio indexado · Ver en GitHub
-
lean-by-example
コード例で学ぶ Lean 言語
Lean · 189 estrellas
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
「無名コンストラクタは入れ子になっていても使用できる」は誤りAbiertoバグ・誤り・不備
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
lean-ja/lean-by-example#2641 ·
-
FBIP を提案したのは Lean の論文ではないAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 52/100
lean-ja/lean-by-example#2640 ·
-
macro_inline は instance に付けても良いAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2639 · 1 comentario ·
-
バグ・誤り・不備 優先度たかし
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
lean-ja/lean-by-example#2638 ·
-
subset sum 問題の例Abierto
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2637 ·
-
auto-update-lean-fail
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
lean-ja/lean-by-example#2636 ·
-
linear でない使用を検知して警告を出すAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2633 ·
-
mkNullNode を使ってコマンドの配列からマクロ生成をするAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2631 ·
-
grind funCC の使い方Abierto優先度たかし
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
lean-ja/lean-by-example#2630 ·
-
Lean開発者へのインタビューAbierto資料・教材
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
lean-ja/lean-by-example#2626 ·
-
バグ・誤り・不備
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
lean-ja/lean-by-example#2625 ·
-
タクティク早見表を独立させるAbiertoバグ・誤り・不備
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
lean-ja/lean-by-example#2624 ·
-
recall コマンドを紹介するAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 65/100
lean-ja/lean-by-example#2622 ·
-
method_specs 属性を紹介するAbierto
Dificultad 3/5 1-2 días Aptitud para principiantes 25/100
lean-ja/lean-by-example#2620 ·
-
Leanの予約語についてのブログ記事Abierto資料・教材
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2617 ·
-
付録アイデア
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
lean-ja/lean-by-example#2616 ·
-
n の分割を全列挙するAbierto付録アイデア
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
lean-ja/lean-by-example#2615 ·
-
CLRS TextbookAbierto資料・教材
Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100
lean-ja/lean-by-example#2614 ·
-
List.product には csimp があるAbierto要調査
Dificultad 4/5 3-5 días Aptitud para principiantes 38/100
lean-ja/lean-by-example#2613 ·
-
Type上の関数を作る例: asListAbierto優先度たかし
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2612 ·
-
有限集合上の自己単射は全射Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
lean-ja/lean-by-example#2611 ·
-
InfoTreeを紹介するAbierto優先度たかし
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2610 ·
-
leo によるスライド資料Abierto資料・教材
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
lean-ja/lean-by-example#2609 ·
-
Enum HandlerAbierto付録アイデア
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2608 ·
-
不要な skill を削除するAbierto優先度たかし
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2607 ·
-
`lia` タクティクを紹介するAbierto優先度たかし
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2606 ·
-
`omega` ではなくて `lia` を使うよう促すべき？AbiertoZulipで質問すべき Zulipで質問済 バグ・誤り・不備
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2603 ·
-
FBIPに関する一意性チェックの論文Abierto資料・教材
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
lean-ja/lean-by-example#2602 ·
-
整数係数多項式についてAbierto資料・教材
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
lean-ja/lean-by-example#2601 ·
-
exists 記号をマクロで出す時の注意点Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2599 ·
-
付録アイデア
Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100
lean-ja/lean-by-example#2597 ·
-
接頭辞付きの数値Abierto付録アイデア
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
lean-ja/lean-by-example#2596 ·
-
`#time` コマンドが遅いように見えることを注意するAbiertoバグ・誤り・不備
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
lean-ja/lean-by-example#2595 ·
-
loogle CLIをLLMに使用させたいAbiertoZulipで質問すべき
Dificultad 3/5 1-2 días Aptitud para principiantes 55/100
lean-ja/lean-by-example#2594 ·
-
置換の実装Abierto付録アイデア
Dificultad 4/5 3-5 días Aptitud para principiantes 48/100
lean-ja/lean-by-example#2593 ·
-
生文字列リテラルの説明が間違っているかもAbiertoバグ・誤り・不備
Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100
lean-ja/lean-by-example#2592 ·
-
インデントを自動的に除去する生文字列リテラルAbiertoメタプログラミング 付録アイデア 構文・パーサ
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
lean-ja/lean-by-example#2591 ·
-
#guard_panic コマンドがあるAbierto要調査
Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100
lean-ja/lean-by-example#2590 ·
-
without_expected_type という項構文があるAbierto構文・パーサ 要調査
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2589 · 1 comentario ·
-
Zulipで質問すべき
Dificultad 4/5 3-5 días Aptitud para principiantes 25/100
lean-ja/lean-by-example#2588 ·
-
#eval は式の評価だけをするわけではないAbiertoバグ・誤り・不備
Dificultad 2/5 1-3 horas Aptitud para principiantes 55/100
lean-ja/lean-by-example#2587 ·
-
deprecated packageAbiertoZulipで質問すべき
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2586 ·
-
`Format` を紹介するAbiertoデータ型 優先度たかし
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
lean-ja/lean-by-example#2585 ·
-
Zulipで質問すべき
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
lean-ja/lean-by-example#2584 ·
-
LeanにはHaskellのSTM相当のものがないAbiertoメモ
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
lean-ja/lean-by-example#2583 ·
-
山本さんの関数型プログラミングについてのスライドAbierto資料・教材
Dificultad 3/5 1-2 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2582 ·
-
Haskellについての山本さんのスライドAbierto資料・教材
Dificultad 3/5 1-2 días Aptitud para principiantes 45/100
lean-ja/lean-by-example#2581 ·
-
ナップサック問題Abierto付録アイデア
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
lean-ja/lean-by-example#2577 ·
-
メモ 資料・教材
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
lean-ja/lean-by-example#2576 ·
-
Zulipで質問すべき Zulipで質問済
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
lean-ja/lean-by-example#2575 ·
Mostrando los 100 más recientes
Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.