Package helloidris2 - Namespaces

• HelloIdris2.Main
• HelloIdris2.Greet