1
1
-- | Termination checker, based on
2
2
-- \"A Predicative Analysis of Structural Recursion\" by
4
5
-- \"The Size-Change Principle for Program Termination\" by
5
6
-- Chin Soon Lee, Neil Jones, and Amir Ben-Amram (POPL'01).
8
8
module Agda.Termination.Termination