module Idris

test : String
test = "Hello from Idris2!"