Lean 4 中如何进行函数组合？

Question

如果我有两个函数

f

和

g

，在 Haskell 中我可以通过编写 g.f 来

compose

它们。我如何在精益 4 中做同样的事情？

Answer 1

Lean 中的符号是 unicode

∘

，它是

Function.comp

的表示法。