你即將離開本站

並前往https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html

Basics: Functional Programming in Coq - Software Foundations

The first half of this chapter introduces the most essential elements of Coq's native functional programming language, called Gallina. The second half ...

確定！ 回上一頁

查詢 「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.