-- Simple hello world with graded modalities
import Prelude

main : () <Console> ()
main = let
    x : String
    x = "Hello from Granule!"
  in
    putStrLn x