dot package:Agda

.e, for postfix projection.

ex: .p, only in patterns

Graph structure

A newtype wrapper for UTCTime that uses the same non-standard serialization format as Microsoft .NET, whose System.DateTime type is by default serialized to JSON as in the following example:

/Date(1302547608878)/

The number represents milliseconds since the Unix epoch.

Dot pattern .e

.e, the KwRange is for the dot, the Range for the whole thing (including the dot).

.t

From a dot pattern (DotP).