Agda-2.4.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone

Agda.Compiler.Epic.Static

Description

Find the places where the builtin static is used and do some normalisation there.

Documentation

class Evaluate a whereSource

Methods

evaluate :: a -> Compile TCM aSource

Instances