Something went wrong. Try again.
dependent-types proof-assistant
Something went wrong. Try again.
74 B · 4 lines
Haskell
at main
12345module Main (main) where
main :: IO ()main = putStrLn "Hello, Haskell!"
12345module Main (main) where
main :: IO ()main = putStrLn "Hello, Haskell!"