Check out Idris nano clock (@idris