Karkit

input/code.hs:1:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature: main :: IO ()
  |
1 | main = do
  | ^^^^

input/code.hs:2:10: warning: [-Wtype-defaults]
    * Defaulting the following constraints to type `Integer'
        (Read a0) arising from a use of `readLn' at input/code.hs:2:10-15
        (Show a0) arising from a use of `print' at input/code.hs:5:5-27
        (Integral a0) arising from a use of `div' at input/code.hs:5:13-27
        (Ord a0) arising from a use of `min' at input/code.hs:5:21-27
    * In a stmt of a 'do' block: n <- readLn
      In the expression:
        do n <- readLn
           a <- readLn
           b <- readLn
           print $ n `div` min a b
      In an equation for `main':
          main
            = do n <- readLn
                 a <- readLn
                 b <- readLn
                 ....
  |
2 |     n <- readLn
  |          ^^^^^^

main = do
    n <- readLn
    a <- readLn
    b <- readLn
    print $ n `div` min a b

Test 1

Verdict: ACCEPTED

Test 2

Verdict: ACCEPTED

Test 3

Verdict: ACCEPTED

Test 4

Verdict: ACCEPTED

Test 5

Verdict: ACCEPTED