Skip to content

Instantly share code, notes, and snippets.

@MiyamonY
Last active November 9, 2019 15:32
Show Gist options
  • Save MiyamonY/d30b92ea787b99405188 to your computer and use it in GitHub Desktop.
Save MiyamonY/d30b92ea787b99405188 to your computer and use it in GitHub Desktop.
+ 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
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