Sized Types [Re: [Agda] proving termination trouble again]

Robin Green greenrd at greenrd.org
Thu Jan 14 06:48:49 CET 2010


How do sized types compare to defining a function using well-founded
recursion? What are the advantages and disadvantages of the two
approaches?
-- 
Robin


More information about the Agda mailing list