agda-language-server-0.0.3.0: src/Render/Utils.hs

module Render.Utils where

import Render.Class
import Render.RichText
import Agda.Utils.Time
import Agda.Utils.Pretty (pretty)

instance Render CPUTime where
  render = text . show . pretty