-- | Returns current time in milliseconds
\meta time 

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

-- | `sleep m` waits for `m` milliseconds
\meta sleep 

{- |
  `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 
  }