你即將離開本站

並前往https://leanprover.github.io/functional_programming_in_lean/introduction.html

Introduction - Functional Programming in Lean

This book is about writing programs in Lean. When viewed as a programming language, Lean is a strict pure functional language with dependent types. A large part ...

確定！ 回上一頁

查詢 「Functional language」的人也找了：

  1. functional language中文
    2.
  2. functional language有哪些
    3.
  3. functional programming優點
    4.
  4. functional programming介紹
    5.
  5. functional programming缺點
    6.
  6. Functional programming language
    7.
  7. functional programming範例
    8.
  8. Functional programming React
    9.