Agda-2.3.2.2: test/fail/TerminationLambda.agda
-- This is mainly a test of the quality of error messages for -- termination problems. module TerminationLambda where postulate Id : Set → Set F : Set → Set F = λ A → F (Id A)
-- This is mainly a test of the quality of error messages for -- termination problems. module TerminationLambda where postulate Id : Set → Set F : Set → Set F = λ A → F (Id A)