[Agda] Re: Computation and patterns in called functions

[Francesco Mazzoli]

At Mon, 28 Jan 2013 12:35:17 +0000,
Francesco Mazzoli wrote:
>     Vars : Set
>     Vars = Var → Var

A small correction, the above should be ‘Var → ℕ’ (although in this case it
doesn’t matter...).

Francesco