1/1: Building Inf (Inf.idr)
Main> Main> -inf.0
Main> True
Main> True
Main> True
Main> +nan.0
Main> +nan.0
Main> True
Main> True
Main> True
Main> True
Main> True
Main> False
Main> 
Bye for now!
