-- | Returns current time in milliseconds
\meta time

-- | Prints the argument to the console
\meta println

{- | `random` returns a random number.
 - `random n` returns a random number between 0 and `n`.
 - `random (l,u)` returns a random number between `l` and `u`.

 -}
\meta random

-- | Normalizes the argument
\meta nf \where {
  \meta whnf

  \meta rnf
}