Last active
November 9, 2019 15:32
-
-
Save MiyamonY/d30b92ea787b99405188 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
+ 95e725b... 06/07/15 04:08 public | |
d9c1b80... 05/27/15 23:45 public | |
36715d7... 05/27/15 11:44 public | |
a7fdff4... 03/25/15 21:09 public | |
494de2c... 03/25/15 20:39 public | |
0f26843... 03/25/15 20:38 public | |
f7844fc... 03/12/15 04:46 public haskell parser combinator | |
082478c... 03/07/15 17:17 public haskell StrConverter | |
a3598c7... 03/07/15 01:46 public haskell making monad | |
e7e1b18... 03/06/15 18:28 public haskell monad porland | |
bc967e3... 03/06/15 13:26 public haskell monadic function | |
cefa30d... 03/05/15 18:13 public haskell error | |
d088a4f... 03/05/15 17:49 public haskell state monad | |
34ac944... 03/05/15 17:10 public haskell writer | |
5b682bf... 03/05/15 11:17 public do | |
dedf7c4... 03/04/15 10:30 public haskell | |
0de9449... 03/03/15 02:13 public | |
887e99f... 03/03/15 01:06 public | |
4a84ece... 03/03/15 00:44 public | |
07e3cc0... 03/01/15 21:11 public | |
e6a3a19... 02/28/15 20:57 public | |
e72f2a6... 02/28/15 14:31 public | |
aa6717a... 02/28/15 14:27 public | |
76b16f3... 02/28/15 14:22 public | |
2d7c1ff... 02/27/15 22:27 public | |
0006cdb... 02/27/15 22:01 public | |
f37bfca... 02/27/15 21:46 public | |
b6860f4... 02/27/15 21:37 public | |
8cce474... 02/27/15 20:28 public | |
5bf4bcb... 02/27/15 20:23 public | |
3699bdd... 02/27/15 20:19 public | |
2c2c0c2... 02/27/15 20:13 public | |
ba728f8... 02/27/15 19:53 public | |
74276b0... 02/27/15 19:21 public | |
bf670c1... 02/27/15 19:19 public | |
e292beb... 02/27/15 19:08 public | |
c1d5515... 02/27/15 19:06 public | |
fe08dc2... 02/27/15 19:05 public | |
d30b92e... 02/27/15 19:01 public | |
af15733... 02/27/15 18:53 public | |
231d443... 02/27/15 18:50 public | |
9a8ea7e... 02/27/15 18:49 public | |
b5a2c3f... 02/27/15 18:41 public | |
9277e94... 02/27/15 18:36 public | |
4cadfe3... 02/27/15 18:36 public | |
51182b2... 02/27/15 18:16 public | |
d5636aa... 02/27/15 18:14 public | |
ffb329f... 02/27/15 18:07 public | |
1530dd2... 02/27/15 18:04 public | |
964c7a9... 02/27/15 17:56 public | |
296a1eb... 02/26/15 19:06 public | |
4c1c500... 02/26/15 15:35 public | |
abed78b... 02/26/15 15:14 public | |
987e782... 02/26/15 15:00 public | |
91e5a4c... 07/06/14 11:27 public ipython と matplotlib | |
17814ae... 06/29/14 03:05 public [coq]using Fin module | |
9e89b81... 06/22/14 21:25 public define plus using nat_rec | |
cfa9374... 06/21/14 19:27 public when hypothesis is instantiated, we first generalize the hypothesis | |
62a9b93... 06/16/14 08:07 public python-nose | |
b3ad91e... 06/14/14 09:01 public OMake |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import System.IO | |
main :: IO () | |
-- main = do | |
-- handle <- openFile "baabaa.txt" ReadMode | |
-- contents <- hGetContents handle | |
-- putStr contents | |
-- hClose handle | |
-- openFile :: FilePath -> IOMode -> IO Handle | |
-- hGetContents :: Handle -> IO String | |
main = do | |
withFile "baabaa.txt" ReadMode $ \ handle -> do | |
contents <- hGetContents handle | |
putStr contents | |
-- withFile :: FilePath -> IOMode -> (Handle -> IO r) -> IO r |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment