История изменений
Исправление qnikst, (текущая версия) :
[f . g] = \x -> f (g x)
[f $ x] = f x
[f . g $ x] = /definition of '$'/
[(f . g) x] = /definition of '.'/
[(\y -> f (g y)) x] = /substitute x/
[f (g x)] = /definition of $/
[f $ g x]
ваши предложения?
Исходная версия qnikst, :
[f . g] = \x -> f (g x)
[f $ x] = f x
[f . g $ x] = /definition of '$'/
[(f . g) x] = /definition of '.'/
[(\y -> f (g y)) x] = /substitute x/
[f (g x)] = /definition of $/
[f $ g x]
ваши предложения?