docs/fundamental/lean/lean-basics/lean-grammar-basics/ #6
giscus[bot]
bot
Replies: 1 comment
-
|
lean 4中定义变量应该也是def |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
docs/fundamental/lean/lean-basics/lean-grammar-basics/
本文介绍了Lean编程语言的基础语法，适合初学者快速上手。内容涵盖变量声明、函数定义、类型系统等核心概念，并通过实际案例帮助理解。
https://www.echo.cool/docs/fundamental/lean/lean-basics/lean-grammar-basics/
Beta Was this translation helpful? Give feedback.
All reactions