Kumite

module Main

foo : Int -> Int
foo 0 = 0

bar : List Int -> Int
bar [] = 0

main : IO ()
main = do
  putStrLn "==="
  printLn (foo 1)
  putStrLn "==="
  printLn (bar [1])
  putStrLn "==="