Agda.Compiler.Epic.Static

normaliseStatic

evaluateCC

etaExpand

class Evaluate a