HelloIdris2.Main

multigreet : IO Unit

Call greet twice