Main.hs « app - miniagda - An attempt to implement a dependently-typed language

summary refs log tree commit diff

path: root/app/Main.hs

blob: 65ae4a05d5db90794a0f769fd667e23df74f67e2 (plain)

module Main where

main :: IO ()
main = putStrLn "Hello, Haskell!"