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

Safe HaskellSafe-Infered

Agda.Utils.Time

Description

Time-related utilities.

Synopsis

Documentation

type ClockTime = ClockTime

Timestamps.

getClockTime :: IO ClockTime

The current time.