1/1: Building Time (Time.idr)
Main> Retrieved unix timestamp from time function.
Main> Bye for now!
Main> Retrieved unix timestamp from time function.
Main> Bye for now!