1/1: Building NaN (NaN.idr)
Main> Main> NaN
Main> NaN
Main> NaN
Main> NaN
Main> NaN
Main> NaN
Main> False
Main> 
Bye for now!
