History of Idiom 37 > diff from v8 to v9
Edit summary for version 9 by :
↷
Version 8
2015-09-05, 11:16:20
Version 9
2015-09-05, 11:16:52
Idiom #37 Currying
Technique of transforming a function that takes multiple arguments and returning a function for which some of the arguments are preset.
Idiom #37 Currying
Technique of transforming a function that takes multiple arguments and returning a function for which some of the arguments are preset.
Comments bubble
(curry range 1) = λ i ↦ [1..i]
Comments bubble
(curry range 1) = _λ i ↦ [1..i]