agda/test/Compiler/with-stdlib/HelloWorldPrim.agda

{-# OPTIONS --guardedness #-}

module HelloWorldPrim where

open import IO.Primitive.Infinite
open import Codata.Musical.Costring

main = putStrLn (toCostring "Hello World!")