Hello 
'I'
dris!

No exceptions occurred
1/1: Building File (File.idr)
Main> Main> Bye for now!