[Agda] how to count 0..n-1

[Nils Anders Danielsson]

On 2011-02-12 11:03, Jason Dusek wrote:
>    The number of constructors? As in, the number of Fin.suc and Fin.zero
>    constructors?

Yes, I ignored the natural number constructors. A decent compiler should
remove those (and the Epic backend may already do this).

-- 
/NAD