module Agda.Compiler.Treeless.Pretty () where

import Agda.Syntax.Treeless
import Agda.Syntax.Common.Pretty

instance Pretty Compiled