Agda-2.4.2.2: A dependently typed functional programming language and proof assistant
Safe Haskell
Safe-Inferred
Language
Haskell98
Agda.Termination.CutOff
Description
Defines CutOff type which is used in Options.
This module's purpose is to eliminate the dependency of
Base on the termination checker and
everything it imports.