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

Safe HaskellSafe-Infered

Agda.Utils.Time

Description

Time-related utilities.

Synopsis

Documentation

type ClockTime = ClockTimeSource

Timestamps.

getClockTime :: IO ClockTimeSource

The current time.