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

module Render.Utils where

import Agda.Utils.Time ( CPUTime )
import Agda.Utils.Pretty (pretty)

import Render.Class
import Render.RichText


instance Render CPUTime where
  render = text . show . pretty