Dependent type example
module Main
item : (b : Bool) -> if b then Nat else List Nat
item True = 42
item False = [1, 2, 3]
main : IO ()
main = putStrLn $ show $ item False
INFO
module Main
item : (b : Bool) -> if b then Nat else List Nat
item True = 42
item False = [1, 2, 3]
main : IO ()
main = putStrLn $ show $ item False