nabe256

--- ProofGeneral-4.3pre130327.orig/Makefile	2013-01-16 06:48:49.000000000 +0900
+++ ProofGeneral-4.3pre130327/Makefile	2013-04-10 09:45:49.000000000 +0900
@@ -62,7 +62,7 @@
 # only during compilation.  Another idea: put a function in proof-site
 # to output the compile-time load path and ELISP_DIRS so these are set
 # just in that one place.
-BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile
+BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-b

nabe256

import System.Environment
import Data.Char

knum = "〇一二三四五六七八九"
kketa = "十百千"

main = do
  args <- getArgs
  if length args == 0
    then putStrLn "input: number"

nabe256

fib :: Num a => [a]
fib = 0:1:zipWith (+) (fib) (tail(fib))

main = print $ take 10 fib

nabe256

fib :: Num a => a -> [a]
fib 0 = [0]
fib 1 = [0,1]
fib n = (fib(n-1)) ++ [last(fib(n-2)) + last(fib(n-1))]

main = mapM_ print $ map fib [0..9]

nabe256

fib :: Num a => a -> a
fib 0 = 0
fib 1 = 1
fib n = fib(n-2) + fib(n-1)

main = mapM_ print $ map fib [0..9]