← all boards / ID boards

ID · lean

Discussion about lean in the id locale. · RSS

Start a new thread →

• lean/keywords/for (id) · 0 posts · by nada · 2026-07-26 23:30 UTC
• lean/keywords/get (id) · 0 posts · by nada · 2026-07-26 23:30 UTC
• lean/keywords/try (id) · 0 posts · by nada · 2026-07-26 23:29 UTC
• lean/keywords/mod (id) · 0 posts · by nada · 2026-07-26 23:28 UTC
• lean/keywords/min (id) · 0 posts · by nada · 2026-07-26 23:28 UTC
• lean/keywords/else (id) · 0 posts · by nada · 2026-07-26 23:24 UTC
• lean/keywords/none (id) · 0 posts · by nada · 2026-07-26 23:22 UTC
• lean/keywords/docs_to_verso (id) · 0 posts · by nada · 2026-07-26 23:07 UTC
• lean/keywords/length (id) · 0 posts · by nada · 2026-07-26 22:57 UTC
• lean/keywords/max (id) · 0 posts · by nada · 2026-07-26 22:14 UTC
• lean/keywords/in (id) · 0 posts · by nada · 2026-07-26 22:14 UTC
• lean/keywords/or (id) · 0 posts · by nada · 2026-07-26 22:13 UTC
• lean/keywords/do (id) · 0 posts · by nada · 2026-07-26 22:13 UTC
• lean/keywords/and (id) · 0 posts · by nada · 2026-07-26 22:13 UTC
• lean/keywords/all (id) · 0 posts · by nada · 2026-07-26 22:13 UTC
• lean/keywords/end (id) · 0 posts · by nada · 2026-07-26 22:13 UTC
• lean/keywords/termination_by (id) · 0 posts · by nada · 2026-07-26 22:13 UTC
• lean/keywords/decreasing_by (id) · 0 posts · by nada · 2026-07-26 22:12 UTC
• lean/keywords/error (id) · 0 posts · by nada · 2026-07-26 22:12 UTC