Agda.TypeChecking.Reduce

traceFun

traceFun'

class Instantiate t

class Reduce t

unfoldDefinition

Normalisation

class Normalise t

Full instantiation

class InstantiateFull t

telViewM