The syntax of Idris shows many similarities with that of Haskell.
Idris 的语法与 Haskell 有许多相似之处。