HelloIdris2.Greet

greet : String -> String

Given a name, this function will say hello