Agda-2.3.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone

Agda.Utils.Time

Description

Time-related utilities.

Synopsis

Documentation

type ClockTime = UTCTime

Timestamps.

getClockTime :: IO ClockTime

The current time.