nobsun · August 11, 2014 06:53
diff --git a/file0.txt b/file0.txt
 f . g $ x ≡ f $ g $ x       -- (1)
diff --git a/file1.txt b/file1.txt
 $ ghci -v0↲
 Prelude> :type ($)↲
 ($) :: (a -> b) -> a -> b
 Prelude> :type (.)
 (.) :: (b -> c) -> (a -> b) -> a -> c
diff --git a/file2.txt b/file2.txt
 (.) :: (b -> c) -> (a -> b) -> a -> c
 (f . g) x = f (g x)
diff --git a/file3.txt b/file3.txt
 (f . g) $ x = f $ (g $ x)
diff --git a/file4.txt b/file4.txt
 f . g $ x = f $ g $ x
diff --git a/file5.txt b/file5.txt
 main = getContents >>= putStr . gonyo
diff --git a/file6.txt b/file6.txt
 interact f = getContents >>= putStr . f
	$ ghci -v0↲
	Prelude> :type ($)↲
	($) :: (a -> b) -> a -> b
	Prelude> :type (.)
	(.) :: (b -> c) -> (a -> b) -> a -> c
No results found