eyelash
Reputation: 3730
How to do function composition in Lean 4?
If I have two functions f and g, in Haskell I can compose them by writing g.f. How do I do the same thing in Lean 4?
Upvotes: 2
Views: 927
Answers (1)
It'sNotALie.
Reputation: 22814
The symbol in Lean is the unicode ∘, which is notation for Function.comp.
Upvotes: 5
Related Questions
- Looking for an explanation of function composition
- Function composition in JavaScript
- Defining a function to a subset of the codomain
- Function Composition issues
- How do you compose functions in PureScript?
- Haskell function composition methods
- Compose functions into another function
- How to define a multiple composition function?
- Composing functions of functions in Mathematica
- composing functions with higher arity